Login / Signup

Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.

Matthew L. BoltonEllen J. Bass
Published in: NASA Formal Methods (2013)
Keyphrases
  • model checking
  • communication protocols
  • temporal logic
  • formal verification
  • reinforcement learning
  • formal methods
  • symbolic model checking
  • process algebra