Runtime enforcement of regular timed properties.

Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand

Browse the full SAC paper archive.