Bounded Determinization of Timed Automata with Silent Transitions

F. Lorber, A. Rosenmann, D. Nickovic, and B. K. Aichernig

Abstract:

Reference: F. Lorber, A. Rosenmann, D. Nickovic, and B. K. Aichernig. Bounded determinization of timed automata with silent transitions. In S. Sankaranarayanan and E. Vicario, editors, Formal Modeling and Analysis of Timed Systems, volume 9268 of Lecture Notes in Computer Science, pages 288-304. Springer, 2015.