Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke. History-Deterministic Timed Automata Are Not Determinizable. In Anthony W. Lin, Georg Zetzsche, Igor Potapov, editors, Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings. Volume 13608 of Lecture Notes in Computer Science, pages 67-76, Springer, 2022. [doi]
Abstract is missing.