Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification.
Hussein SibaiNavid MokhlesiSayan MitraPublished in: ATVA (2019)
Keyphrases
- dynamical systems
- dynamic systems
- differential equations
- nonlinear dynamical systems
- phase space
- dynamical behavior
- linear systems
- state space
- partially observable
- qualitative simulation
- model checking
- rotation invariant
- agent environment
- dynamical models
- control theory
- qualitative differential equations
- neural network
- partially observable markov decision processes
- probabilistic model
- multiscale