Login / Signup

Real-Time Symbolic Model Checking for Hard Real-Time Systems.

Y. TachiSatoshi Yamane
Published in: RTCSA (1999)
Keyphrases
  • symbolic model checking
  • model checking
  • formal verification
  • partial observability
  • temporal logic
  • model checker
  • conformant planning
  • control system
  • binary decision diagrams
  • machine learning