Login / Signup
Rigorous Discretization of Hybrid Systems Using Process Calculi.
Sven Schneider
Uwe Nestmann
Published in:
FORMATS (2011)
Keyphrases
</>
hybrid systems
computational intelligence
soft computing
black box
genetic algorithm
artificial intelligence
fuzzy logic
orders of magnitude
meta learning