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