Reactive synthesis without regret.

Paul Hunter Guillermo A. Pérez Jean-François Raskin

Published in: Acta Informatica (2017)

Keyphrases

online learning
worst case
agent architecture
lower bound
program synthesis
expert advice
binary classification
texture synthesis
machine learning
feature selection
online algorithms
reactive systems
weighted majority
functional programs
confidence bounds
multi armed bandit problems