2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2020★ 2 cited
Formal modeling and performance evaluation for hybrid systems:a probabilistic hybrid process algebra-based approach
Fujun Wang, Zining Cao, Lixing Tan +1
Probabilistic behavior is omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of various reasons, like uncertain environmen…
math.ST2019
Convergence Rates of Posterior Distributions in Markov Decision Process
Zhen Li, Eric Laber
In this paper, we show the convergence rates of posterior distributions of the model dynamics in a MDP for both episodic and continuous tasks. The theoretical results hold for gene…