Nominal Büchi Automata with Name Allocation.

Henning Urbat Daniel Hausmann Stefan Milius Lutz Schröder

Published in: CoRR (2021)

Keyphrases

resource allocation
finite automata
finite state
cellular automata
allocation problems
optimal allocation
finite state machines
tree automata
turing machine
probabilistic automata
reinforcement learning
e learning
social networks
machine learning
auction mechanisms
dynamic allocation
neural network