A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems.

Taoran Wu Yiqing Yu Bican Xia Ji Wang Bai Xue

Published in: CoRR (2024)

Keyphrases

dynamical systems
dynamic systems
differential equations
probabilistic model
model checking
phase space
nonlinear dynamical systems
reinforcement learning
hidden markov models
monte carlo
control theory
qualitative simulation
linear dynamical systems
agent environment
discrete dynamical systems