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

Rohan Acharya Marcin Jurdzinski Aditya Prakash

Published in: CoRR (2024)

Keyphrases

real time
neural network
computationally expensive
game playing
data sets
data structure
xml documents
simulated annealing
computationally efficient
computer games
black box
finite automata