Login / Signup

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis.

Ciprian TeodorovLuka LerouxZoé DreyPhilippe Dhaussy
Published in: Softw. Test. Verification Reliab. (2016)
Keyphrases
  • state space
  • reachability analysis
  • markov decision processes
  • real time
  • search algorithm
  • dynamical systems