Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.
Boyan YordanovCalin BeltaPublished in: HSCC (2008)
Keyphrases
- temporal logic
- reactive systems
- concurrent systems
- model checking
- transition systems
- piecewise affine
- dynamic constraints
- bounded model checking
- formal specification language
- model checker
- temporal knowledge
- satisfiability problem
- modal logic
- complex systems
- distributed systems
- verification method
- formal specification
- linear temporal logic
- artificial intelligence