Stochastic Temporal Logic Abstractions: Challenges and Opportunities.
Jyotirmoy V. DeshmukhPanagiotis KyriakisPaul BogdanPublished in: FORMATS (2018)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- concurrent systems
- mazurkiewicz traces
- verification method
- belief revision
- model checker
- transition systems
- computation tree logic
- linear temporal logic
- epistemic logic
- temporal knowledge
- reactive systems
- automata theoretic
- formal verification
- temporally extended
- formal specification language
- dynamic programming