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]

Possibly Related Publications

The following publications are possibly variants of this publication: