arXiv AI By Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray, Thierry J\'eron

Runtime Enforcement of Hybrid System Properties

Read the original on arXiv AI →

arXiv:2606. 12022v1 Announce Type: cross Abstract: Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments.

Summary generated by The Flow from the publisher's feed. The full article lives at arXiv AI.

arXiv AI
Aug 5

Shielding for Higher-Order Safety

arXiv:2608. 03662v1 Announce Type: new Abstract: Safety shields are runtime enforcement mechanisms that restrict the actions of a controller to guarantee safety.

By Filip Cano, Thomas A. Henzinger, Konstantin Kueffner