Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

Iulian Ober. Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. In Falk Howar, Jiri Barnat, editors, Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Volume 11119 of Lecture Notes in Computer Science, pages 269-283, Springer, 2018. [doi]

Abstract

Abstract is missing.