Reactive Synthesis Beyond Realizability.

Rayna Dimitrova

Published in: FMCAD (2021)

Keyphrases

case study
program synthesis
real time
neural network
real world
information retrieval
search engine
decision making
feature extraction
objective function
wide range
reactive systems
reactive planning