activity
20212024
most citedRobustness of Safety for Linear Dynamical Systems: Symbolic and Numerical Approaches

4 citations · 9 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

eess.SY2024★ 1 cited

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…