Abstraction Refinement Algorithms for Timed Automata

Victor Roussanaly (1, 2) , Ocan Sankur (2, 1) , Nicolas Markey (1, 2)

1 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
2 SUMO - SUpervision of large MOdular and distributed systems

Domaines: Informatique et langage [cs.CL]

Victor Roussanaly, Ocan Sankur, Nicolas Markey. Abstraction Refinement Algorithms for Timed Automata. CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New York, United States. pp.22-40, ⟨10.1007/978-3-030-25540-4_2⟩. ⟨hal-02265808⟩