Login / Signup
STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications.
Yoshinari Takayama
Kazumune Hashimoto
Toshiyuki Ohtsuka
Published in:
CoRR (2023)
Keyphrases
</>
convex optimization
temporal logic
model checking
norm minimization
concurrent systems
reactive systems
interior point methods
signal processing
modal logic
transition systems
computer vision
formal specification
formal specification language
higher order
model checker
mazurkiewicz traces