Robust Satisfaction of Temporal Logic over Real-Valued Signals.
Alexandre DonzéOded MalerPublished in: FORMATS (2010)
Keyphrases
- real valued
- temporal logic
- model checking
- modal logic
- integer valued
- concurrent systems
- satisfiability problem
- verification method
- complex valued
- real valued data
- latent variables
- computation tree logic
- linear temporal logic
- distributed representations
- belief revision
- epistemic logic
- ranking functions
- ranking algorithm