Symbolic Model Checking Commitment Protocols Using Reduction.

Mohamed El-Menshawy Jamal Bentahar Rachida Dssouli

Published in: DALT (2010)

Keyphrases

symbolic model checking
model checking
formal verification
partial observability
symbolic representation
binary decision diagrams
conformant planning
model checker
temporal logic
learning process
reinforcement learning