Runtime enforcement of regular timed properties by suppressing and delaying events

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Systems & Control Letters, 123:2-41, 2016. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: