Reactive Synthesis with Spectra: A Tutorial.

Shahar Maoz Jan Oliver Ringert

Published in: ICSE (Companion Volume) (2021)

Keyphrases

program synthesis
artificial intelligence
agent architecture
spectral images
reactive agents
machine learning
information systems
principal component analysis
hyperspectral
raman spectra