Explainable Reactive Synthesis.

Tom Baumeister Bernd Finkbeiner Hazem Torfah

Published in: CoRR (2020)

Keyphrases

program synthesis
event driven
cooperative
expert systems
medical images
reactive agents
reactive planning
neural network
information systems
e learning
metadata
image processing
multimedia
three dimensional
trade off
analog circuits