Up a level |
Number of items: 2.
Bose, Sougata, Henzinger, Thomas A, Lehtinen, Karoliina, Schewe, Sven ORCID: 0000-0002-9093-9518 and Totzke, Patrick
(2022)
History-Deterministic Timed Automata Are Not Determinizable.
.
Bose, Sougata, Purser, David ORCID: 0000-0003-0394-1634 and Totzke, Patrick
(2023)
History-deterministic Vector Addition Systems.
In: 34th International Conference on Concurrency Theory (CONCUR 2023)., 2023-9-19 - 2023-9-22, University of Antwerp, Belgium.