Iterable Forward Reachability Analysis of Monitor-DPNs.
Benedikt NordhoffMarkus Müller-OlmPeter LammichPublished in: Festschrift for Dave Schmidt (2013)
Keyphrases
- reachability analysis
- model checking
- markov decision processes
- timed automata
- dynamic probabilistic networks
- incremental algorithms
- real time
- state space
- bi directional
- monitoring system
- temporal logic
- machine learning
- first order logic
- optimal policy
- temporal constraints
- probabilistic networks
- artificial intelligence