• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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