Login / Signup
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.
Mahathi Anand
Abolfazl Lavaei
Majid Zamani
Published in:
CoRR (2021)
Keyphrases
</>
stochastic systems
stochastic models
control system
conservation laws
confidence intervals
chaotic systems
monte carlo
closed loop
stochastic processes