Login / Signup
Characterizing the Decidability of Finite State Automata Team Games with Communication.
Michael J. Coulombe
Jayson Lynch
Published in:
GandALF (2022)
Keyphrases
</>
finite state automata
turn taking
finite state machines
hybrid automata
multi robot coordination
description logics
team members
data model
upper bound
theoretical analysis
integrity constraints