Hierarchical Finite State Machines for Efficient Optimal Planning in Large-scale Systems.

Elis Stefansson Karl Henrik Johansson

Published in: ECC (2023)

Keyphrases

finite state machines
optimal planning
finite state automata
model checking
database systems
reinforcement learning
hidden markov models
heuristic search
regular expressions