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…