Reactive Synthesis of Dominant Strategies.

Benjamin Aminof Giuseppe De Giacomo Sasha Rubin

Published in: AAAI (2023)

Keyphrases

program synthesis
databases
search strategies
machine learning
learning algorithm
decision making
high level
similarity measure
bayesian networks
multiscale
wide range
agent architecture