Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Univ Rennes, Inria, IRISA
1
0
2
Runtime enforcement can actively correct unsafe behaviors in hybrid systems, ensuring real-time safety compliance with minimal overhead.