Login / Signup
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism.
Antonio Casares
Thomas Colcombet
Nathanaël Fijalkow
Karoliina Lehtinen
Published in:
CoRR (2023)
Keyphrases
</>
cellular automata
dynamic programming
closed form
optimal design
finding optimal
real time
databases
machine learning
multiscale
optimal solution
worst case
regular expressions
finite state
finite automata