Signal Temporal Logic Task Decomposition via Convex Optimization.
Maria CharitidouDimos V. DimarogonasPublished in: CoRR (2021)
Keyphrases
- convex optimization
- temporal logic
- model checking
- modal logic
- low rank
- signal processing
- interior point methods
- basis pursuit
- total variation
- verification method
- mazurkiewicz traces
- convex relaxation
- reactive systems
- bounded model checking
- norm minimization
- convex optimization problems
- linear temporal logic
- primal dual
- semidefinite program
- alternating direction method of multipliers
- feature extraction
- epistemic logic
- convex formulation
- computation tree logic
- automata theoretic
- reinforcement learning