Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
Marta KwiatkowskaGethin NormanDavid ParkerPublished in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- verification method
- formal verification
- uncertain data
- probabilistic model
- context sensitive
- theorem prover
- program synthesis
- probabilistic logic
- symbolic representation
- texture synthesis
- neural network
- machine learning
- binary decision diagrams
- learning algorithm
- information retrieval