An Event Calculus Formalization of Timed Automata.

Nicola Falcionelli, Paolo Sernani, Dagmawi Neway Mekuria, Aldo Franco Dragoni

Browse the full IJCAI paper archive.