Symbolic controller synthesis for Büchi specifications on stochastic systems.

Rupak Majumdar Kaushik Mallik Sadegh Soudjani

Published in: HSCC (2020)

Keyphrases

stochastic systems
controller synthesis
autonomic computing systems
stochastic models
closed loop
sample path
control algorithm
control system
multi agent
confidence intervals
real time
stochastic processes
neural network
radial basis function
mathematical model
chaotic systems
markov chain
reinforcement learning