Login / Signup
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems.
Maxence Dutreix
Samuel Coogan
Published in:
IEEE Trans. Autom. Control. (2021)
Keyphrases
</>
stochastic systems
formal verification
conservation laws
stochastic models
model checking
sample path
confidence intervals
least squares
upper bound
parameter estimation
asymptotic analysis
markov chain
control strategy