Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.
Austin JonesMac SchwagerCalin BeltaPublished in: CoRR (2013)
Keyphrases
- temporal logic
- technical report
- model checking
- modal logic
- verification method
- satisfiability problem
- computation tree logic
- concurrent systems
- model checker
- reactive systems
- mazurkiewicz traces
- formal specification
- artificial intelligence
- finite state
- transition systems
- temporally extended
- linear temporal logic
- probability distribution