Taming Large Bounds in Synthesis from Bounded-Liveness Specifications (Full Version).

Philippe Heim Rayna Dimitrova

Published in: CoRR (2023)

Keyphrases

upper bound
lower bound
database
multi agent systems
worst case
error bounds
lower and upper bounds
real time
real world
high level
support vector
upper and lower bounds
program synthesis
loss bounds
delay insensitive