Login / Signup
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking.
Matthew L. Bolton
Ellen 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