Fully Generalized Reactivity(1) Synthesis.

Rüdiger Ehlers Ayrat Khalimov

Published in: TACAS (1) (2024)

Keyphrases

neural network
case study
high quality
texture synthesis
program synthesis
data sets
information systems
data structure
cooperative
computer science
logic programs
agent architecture
eigenvalue problems