Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
Amir M. Ahmadian, Hazem Torfah
Formalisms for hyperproperties provide a solid foundation for studying the verification problem across classes of relational properties, such as those in information flow control (…
cs.LO2026
Learning Robust Markov Models for Safe Runtime Monitoring
Antonina Skurka, Luko van der Maas, Sebastian Junges +1
We present a model-based approach to learning robust runtime monitors for autonomous systems. Runtime monitors play a crucial role in raising the level of assurance by observing sy…