B | |
---|---|
[BHL+22] | Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. History-deterministic timed automata are not determinizable. In RP'22, Lecture Notes in Computer Science 13608, pages 67-76. Springer-Verlag, October 2022. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1