Sign in
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.
Hugo Flordal
Robi Malik
Martin Fabian
Knut Åkesson
Published in:
Discret. Event Dyn. Syst. (2007)
Keyphrases
</>
artificial intelligence
wide range
program synthesis
data sets
neural network
data mining
computer vision
image processing
three dimensional
image sequences