Symbolic Model Checking for TLA+ Made Faster.

Rodrigo Otoni Igor Konnov Jure Kukovec Patrick Eugster Natasha Sharygina

Published in: TACAS (1) (2023)

Keyphrases

symbolic model checking
model checking
temporal logic
partial observability
formal verification
model checker
conformant planning
binary decision diagrams
deterministic domains
finite state
symbolic representation
mobile robot
formal specification
machine learning
multi agent