Adaptive Parameter Tuning for Reachability Analysis of Linear Systems.

Mark Wetzlinger Niklas Kochdumper Matthias Althoff

Published in: CoRR (2020)

Keyphrases

parameter tuning
linear systems
reachability analysis
sufficient conditions
ink bleed
dynamical systems
markov decision processes
model checking
parameter settings
coefficient matrix
sparse linear systems
objective function
k nearest neighbor
particle swarm optimization
timed automata
state space
expert systems