Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand

Browse the full ICTAC paper archive.