Verifying Switched System Stability With Logic.
Yong Kiam TanStefan MitschAndré PlatzerPublished in: HSCC (2022)
Keyphrases
- modal logic
- predicate logic
- classical logic
- model checking
- artificial intelligence
- proof theory
- epistemic logic
- computational properties
- multi valued
- logic programming
- logic programs
- evolutionary algorithm
- logical framework
- artificial neural networks
- expert systems
- digital circuits
- formal language
- database systems
- social networks
- dynamic logic
- data mining
- linear temporal logic