Sign in

Formal Verification and Synthesis for Discrete-Time Stochastic Systems.

Morteza LahijanianSean B. AnderssonCalin Belta
Published in: IEEE Trans. Autom. Control. (2015)
Keyphrases
  • formal verification
  • stochastic systems
  • model checking
  • markov chain
  • sample path
  • stochastic models
  • model checker
  • conservation laws
  • confidence intervals
  • finite state
  • temporal logic
  • lower bound
  • asymptotic analysis