Login / Signup
Axiomatizing Team Equivalence for Finite-State Machines.
Roberto Gorrieri
Published in:
The Art of Modelling Computational Systems (2019)
Keyphrases
</>
finite state machines
model checking
finite state automata
team members
regular expressions
digital circuits
robotic soccer
database
robot soccer
cooperating agents
knowledge base