Enhancing Probabilistic Model Checking with Ontologies.
Clemens DubslaffPatrick KoopmannAnni-Yasmin TurhanPublished in: Formal Aspects Comput. (2021)
Keyphrases
- model checking
- temporal logic
- temporal properties
- formal verification
- partial order reduction
- formal specification
- finite state
- computation tree logic
- automated verification
- symbolic model checking
- model checker
- transition systems
- reachability analysis
- formal methods
- bounded model checking
- timed automata
- epistemic logic
- finite state machines
- bayesian networks
- knowledge base
- verification method
- probabilistic reasoning
- pspace complete
- asynchronous circuits
- process algebra
- artificial intelligence
- petri net
- linear temporal logic
- domain specific
- state space
- knowledge representation
- deterministic finite automaton