Symbolic Model Checking for Distributed Real-Time Systems.

Farn Wang Aloysius K. Mok E. Allen Emerson

Published in: FME (1993)

Keyphrases

real time systems
distributed systems
symbolic model checking
real time embedded
mission critical
model checking
real time
cooperative
embedded systems
formal verification
binary decision diagrams
conformant planning
reinforcement learning
multi agent
partial observability