Login / Signup

On the use of don't cares during symbolic reachability analysis.

Sherief RedaAyman WahbaAshraf SalemDominique BorrioneM. Ghonaimy
Published in: ISCAS (5) (2001)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • incremental algorithms
  • timed automata
  • symbolic representation
  • state space
  • high level
  • temporal logic
  • low cost
  • policy iteration