Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers.
Bassem GhorbelVinayak S. PrabhuPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- belief revision
- qualitative differential equations
- verification method
- linear temporal logic
- concurrent systems
- temporal knowledge
- mazurkiewicz traces
- transition systems
- first order logic
- computation tree logic
- model checker
- automata theoretic
- natural language
- temporal properties
- artificial intelligence
- dynamic constraints
- qualitative reasoning
- temporally extended
- inference rules
- qualitative and quantitative
- integrity constraints
- data model