Synthesizing Transducers from Complex Specifications.

Anvay Grover Rüdiger Ehlers Loris D'Antoni

Published in: CoRR (2022)

Keyphrases

high level
real world
complex systems
three dimensional
objective function
learning environment
computationally expensive
real time
similarity measure
information technology
complex data
finite automata