Synthesizing Transducers from Complex Specifications.

Anvay Grover Ruediger Ehlers Loris D'Antoni

Published in: FMCAD (2022)

Keyphrases

high level
real world
database
decision making
reinforcement learning
complex systems
information retrieval
learning algorithm
complex data
finite state machines
complex environments