Compositional Synthesis with Parametric Reactive Controllers.

Rajeev Alur Salar Moarref Ufuk Topcu

Published in: HSCC (2016)

Keyphrases

controller synthesis
reinforcement learning
control system
real time
control strategy
agent architecture
texture synthesis
program synthesis
neural network
computer vision
database systems
bayesian networks
social networks
multi agent
search algorithm
fuzzy logic
event driven
reactive agents