Statistical verification of dynamical systems using set oriented methods.

Yu Wang Nima Roohi Matthew West Mahesh Viswanathan Geir E. Dullerud

Published in: HSCC (2015)

Keyphrases

dynamical systems
dynamic systems
model checking
statistical models
differential equations
neural network
reinforcement learning
spatio temporal
statistical methods