Login / Signup
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata.
Antonio Casares
Olivier Idir
Denis Kuperberg
Corto Mascle
Aditya Prakash
Published in:
CoRR (2024)
Keyphrases
</>
black box
finite state automaton
turing machine
case study
neural network
decision making
image processing
multiscale
multi agent
cellular automata
finite automata
deterministic automata