Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.
Florian LercherMatthias AlthoffPublished in: CAV (3) (2024)
Keyphrases
- temporal logic
- hybrid systems
- model checking
- verification method
- concurrent systems
- model checker
- black box
- bounded model checking
- intelligent systems
- modal logic
- formal verification
- soft computing
- neural network
- meta learning
- artificial intelligence
- computational intelligence
- discrete event
- formal specification
- computation tree logic
- linear temporal logic
- formal methods
- belief revision
- epistemic logic
- fuzzy logic
- planning domains
- description language
- model selection
- fuzzy sets