no code implementations • 15 Apr 2024 • Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
For the parallel model, we show that the monitoring of the second-order hyperproperties of Hyper$^2$LTL$_f$ can be reduced to monitoring first-order hyperproperties.
no code implementations • 10 Nov 2020 • Dana Fisman, Hadar Frenkel, Sandra Zilles
We revisit the complexity of procedures on SFAs (such as intersection, emptiness, etc.)