collaborators

1 paper

cs.FL2020

Computing maximally-permissive strategies in acyclic timed automata

Emily Clement, Thierry Jéron, Nicolas Markey +1

Timed automata are a convenient mathematical model for modelling and reasoning about real-time systems. While they provide a powerful way of representing timing aspects of such sys…