Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction.
Junyan QianMin LiLingzhong ZhaoPublished in: ICCS (2012)
Keyphrases
- reachability analysis
- markov decision processes
- model checking
- high level
- intermediate level
- incremental algorithms
- timed automata
- concurrent programs
- decision theoretic planning
- real valued
- computer programs
- concurrent programming
- hardware designs
- boolean functions
- symbolic representation
- concurrent processes
- state space
- sufficient conditions
- machine learning
- state abstraction