Login / Signup
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
Abolfazl Lavaei
Mahmoud Khaled
Sadegh Soudjani
Majid Zamani
Published in:
CAV (2) (2020)
Keyphrases
</>
stochastic systems
controller synthesis
autonomic computing systems
stochastic models
confidence intervals
sample path
reinforcement learning
multi agent
machine learning
feature selection
support vector
control system
markov chain