Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis.

Rüdiger Ehlers

Published in: NASA Formal Methods (2011)

Keyphrases

data sets
multiscale
learning algorithm
artificial intelligence
website
three dimensional
partial occlusion
texture synthesis
robust estimation
program synthesis