Timed Automata Relaxation for Reachability

Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
March 2021
PDF Cite
Type
Conference paper
Publication
In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead