9 citations · 32 across the 13 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 2 cited
Permissive Supervisor Synthesis for Markov Decision Processes through Learning
Bo Wu, Xiaobin Zhang, Hai Lin
This paper considers the permissive supervisor synthesis for probabilistic systems modeled as Markov Decision Processes (MDP). Such systems are prevalent in power grids, transporta…
cs.LO2017★ 6 cited
Counterexample-guided Abstraction Refinement for POMDPs
Xiaobin Zhang, Bo Wu, Hai Lin
Partially Observable Markov Decision Process (POMDP) is widely used to model probabilistic behavior for complex systems. Compared with MDPs, POMDP models a system more accurate but…