Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.

Sasinee Pruekprasert Clovis Eberhart Jérémy Dubut

Published in: CDC (2021)

Keyphrases

bounded model checking
high level
recursive programs
program synthesis
control strategy
formal specification
control method
database
temporal logic
model checking
texture synthesis
control system
control theory
closed loop
adaptive control
genetic algorithm
transition systems
data sets
real time