Login / Signup
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems.
Rupak Majumdar
Kaushik Mallik
Sadegh Soudjani
Published in:
CoRR (2019)
Keyphrases
</>
stochastic systems
controller synthesis
autonomic computing systems
stochastic models
closed loop
sample path
confidence intervals
control system
multi agent
real time
control algorithm
machine learning
feature extraction
reinforcement learning
sensitivity analysis