Techniques for Verified Reachability Analysis of Quasi-Linear Continuous-Time Systems.

Andreas Rauh Julia Kersten Harald Aschemann

Published in: MMAR (2019)

Keyphrases

quasi linear
reachability analysis
learning algorithm
search engine
decision making
state space
markov chain
model checking
utility function
optimal control