Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.
Torsten LiebkeKarsten WolfPublished in: Trans. Petri Nets Other Model. Concurr. (2021)
Keyphrases
- convex quadratic programming
- linear temporal logic
- temporal logic
- quadratic programming
- model checking
- linearly separable
- shortest path
- set of linear equations
- algebraic equations
- inverse problems in image processing
- quadratic program
- linear constraints
- real numbers
- finite dimensional
- computation tree logic
- linear systems
- combinatorial optimization