Login / Signup
Falsification of Dynamical Systems - An Industrial Perspective.
Thomas Heinz
Published in:
NSV@CAV (2016)
Keyphrases
</>
dynamical systems
dynamic systems
differential equations
qualitative simulation
control theory
dynamical behavior
state space
phase space
linear systems
nonlinear dynamical systems
partially observable
agent environment
real valued
dynamical models
predictive state representations