Sign in
Formal Verification and Synthesis for Discrete-Time Stochastic Systems.
Morteza Lahijanian
Sean B. Andersson
Calin 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