Login / Signup
Abstraction-based Synthesis for Stochastic Systems with Omega-Regular Objectives.
Maxence Dutreix
Jeongmin Huh
Samuel Coogan
Published in:
CoRR (2020)
Keyphrases
</>
training data
stochastic systems
stochastic models
conservation laws
confidence intervals
lower bound
upper bound
stochastic processes
sample path
state space
markov chain
sufficient conditions
stochastic model