Explainable Reactive Synthesis.

Tom Baumeister Bernd Finkbeiner Hazem Torfah

Published in: ATVA (2020)

Keyphrases

program synthesis
texture synthesis
data sets
genetic algorithm
agent architecture
multiresolution
reactive systems
database
object recognition
wide range
multi agent
high quality
three dimensional
case study
decision trees
knowledge base
computer vision
artificial intelligence
databases