Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. Abstract: Formal methods in robotic motion planning have ...

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. Bo Wu and Hai Lin. Abstract—Formal methods in robotic motion ...

Our approach is based on a modified L∗ learning algorithm and runs iteratively. It is guaranteed to be correct and terminate in finite steps. ResearchGate Logo.

Bibliographic details on Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.

... This paper combines top-down and bottom-up approaches together to solve the coordination and control co-design of multi-agent systems by handling both ...

Mar 21, 2017 · Wu and H. Lin, “Counterexample-guided permissive supervisor syn- thesis for probabilistic systems through learning,” in American Control.

To regulate POMDP to satisfy a finite horizon PCTL, we propose a novel counterexample-guided supervisor synthesis framework with a special type of deterministic ...

A permissive controller synthesis framework is developed, which generates multi-strategies for the controller, offering a choice of control actions to take ...

Wu, Bo, Lin, Hai. 2016. Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning.

Lin (2015), "Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning", 2015 American Control Conference, Chicago ...