History-Deterministic Timed Automata Are Not Determinizable

Bose, Sougata ; Henzinger, Thomas A. ; Lehtinen, Karoliina ; Schewe, Sven ; Totzke, Patrick Zetzsche, Georg ; Lin, Anthony W. ; Potapov, Igor

16th International Conference on Reachability Problems, 2022, Vol.13608, p.67-76 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo