 | Up a level |
Avni, Guy, Henzinger, Thomas A, Ibsen-Jensen, Rasmus 
ORCID: 0000-0003-4783-0389 and Novotný, Petr
(2019)
Bidding Games on Markov Decision Processes.
.
Chatterjee, Krishnendu, Henzinger, Thomas A, Ibsen-Jensen, Rasmus and Otop, Jan
(2015)
Edit Distance for Pushdown Automata.
Automata, Languages, and Programming, 9135 (3).
pp. 121-133.
Bose, Sougata, Henzinger, Thomas A, Lehtinen, Karoliina, Schewe, Sven ORCID: 0000-0002-9093-9518 and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2022)
History-Deterministic Timed Automata Are Not Determinizable.
.
Avni, Guy, Henzinger, Thomas A and Ibsen-Jensen, Rasmus
(2018)
Infinite-Duration Poorman-Bidding Games.
WEB AND INTERNET ECONOMICS, WINE 2018, 11316.
pp. 21-36.