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