A program logic to verify signal temporal logic specifications of hybrid systems.
Hammad AhmadJean-Baptiste JeanninPublished in: HSCC (2021)
Keyphrases
- temporal logic
- hybrid systems
- verification method
- transition systems
- bounded model checking
- model checker
- model checking
- modal logic
- concurrent systems
- linear temporal logic
- predicate logic
- reactive systems
- intelligent systems
- formal specification language
- black box
- computational intelligence
- soft computing
- meta learning
- discrete event
- formal specification
- neural network
- artificial intelligence
- control flow
- formal verification
- automata theoretic
- logical formulas
- epistemic logic
- computation tree logic
- machine learning
- model selection
- data mining
- artificial neural networks
- control system
- state space
- test cases
- orders of magnitude
- evolutionary computation
- learning tasks
- formal methods
- dynamic systems