Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.

Rohan Acharya Marcin Jurdzinski Aditya Prakash

Published in: ICALP (2024)

Keyphrases

computer games
database
computationally efficient
cost effective
computationally expensive
video games
probabilistic automata
deterministic finite automata
finite automata
game tree
educational games
regular expressions
learning experience
lightweight
simulated annealing
search algorithm
real time