Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.
Philippe HeimRayna DimitrovaPublished in: TACAS (2) (2023)
Keyphrases
- upper bound
- lower bound
- upper and lower bounds
- worst case
- asymptotically optimal
- program synthesis
- operational semantics
- delay insensitive
- loss bounds
- error bounds
- average case
- reactive systems
- formal specification
- distribution free
- worst case bounds
- asynchronous circuits
- confidence bounds
- data sets
- formal language
- specification language
- theoretical analysis
- multi class
- support vector
- high level
- information retrieval
- databases