MoULDyS: Monitoring of Autonomous Systems in the Presence of Uncertainties

Bineet Ghosh, Étienne André

We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of black-box cyber-physical systems w.r.t. safety properties. MoULDyS takes as input an unc…