2 citations · 2 across the 4 of their papers we have counts for
Showing 2024 · cs.FLShow all
2 papers · 2 filters
cs.FL2024
History-Determinism vs Fair Simulation
Udi Boker, Thomas A. Henzinger, Karoliina Lehtinen +1
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracte…
cs.FL2024
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
Rohan Acharya, Marcin Jurdziński, Keya Prakash
Our main technical contribution is a polynomial-time determinisation procedure for history-deterministic Büchi automata, which settles an open question of Kuperberg and Skrzypczak,…