Login / Signup

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems.

Yiming MengJun Liu
Published in: CoRR (2023)
Keyphrases
  • finite state
  • stochastic systems
  • markov chain
  • markov decision processes
  • model checking
  • stochastic models
  • sample path
  • optimal policy
  • machine learning
  • chaotic systems
  • control system