Presentation at the FORMATS conference
Tamás Tóth has presented a paper at the FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) international confernce. The title of the paper: "Lazy Reachability Checking for Timed Automata using Interpolants".
The co-author of the paper is István Majzik.
The introduced algorithms and approaches are available at our model checking framework Theta.