Specifiable robustness in reactive synthesis.

Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

program synthesis
artificial intelligence
data mining
image processing
three dimensional
training data
cooperative
medical images
computational efficiency
high robustness
functional programs
subsumption architecture