Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications.
Sasinee PruekprasertClovis EberhartJérémy DubutPublished in: CoRR (2021)
Keyphrases
- program synthesis
- recursive programs
- bounded model checking
- high level
- control system
- control theory
- data acquisition
- model checking
- temporal logic
- deterministic automata
- data sets
- texture synthesis
- search algorithm
- symbolic representation
- functional requirements
- specification language
- formal specification
- programming language
- hidden markov models