Login / Signup

Reachability analysis using partitioned-ROBDDs.

Amit NarayanAdrian J. IslesJawahar JainRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
Published in: ICCAD (1997)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • timed automata
  • incremental algorithms
  • temporal logic
  • state space
  • binary decision diagrams
  • reinforcement learning
  • expert systems