Optimal enforcement of (timed) properties with uncontrollable events

Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand. Optimal enforcement of (timed) properties with uncontrollable events. Mathematical Structures in Computer Science, 29(1):169-214, 2019. [doi]

No reviews for this publication, yet.