Extending Modelchecking with ProB to Floating-Point Numbers and Hybrid Systems.

Kristin Rutenkolk

Published in: ABZ (2023)

Keyphrases

floating point
hybrid systems
intelligent systems
black box
neural network
fixed point
meta learning
computational intelligence
artificial intelligence
soft computing
instruction set
discrete event
machine learning
reinforcement learning
inductive learning