Knor: reactive synthesis using Oink.

Tom van Dijk Feije van Abbema Naum Tomov

Published in: TACAS (1) (2024)

Keyphrases

image processing
texture synthesis
program synthesis
database
data sets
wide range
agent architecture
neural network
case study
three dimensional
high level
face recognition
multi agent
cooperative