Incorporating Monitors in Reactive Synthesis without Paying the Price.

Shaun Azzopardi Nir Piterman Gerardo Schneider

Published in: CoRR (2021)

Keyphrases

agent architecture
program synthesis
data mining
database systems
wide range
logic programs
event driven
reactive planning