Sign in
Computing Differential Invariants of Hybrid Systems as Fixedpoints.
André Platzer
Edmund M. Clarke
Published in:
CAV (2008)
Keyphrases
</>
hybrid systems
black box
intelligent systems
meta learning
neural network
soft computing
artificial intelligence
computational intelligence
discrete event
pattern recognition
multi class
semi supervised
fuzzy sets
multi label
dynamic systems
decision trees
search problems