9 citations · 32 across the 13 of their papers we have counts for
6 papers · 1 filter
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints
Bo Wu, Bin Hu, Hai Lin
This paper considers an optimal task allocation problem for human robot collaboration in human robot systems with persistent tasks. Such human robot systems consist of human operat…
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications
Zhiyu Liu, Jin Dai, Bo Wu +1
We propose a mathematical framework for synthesizing motion plans for multi-agent systems that fulfill complex, high-level and formal local specifications in the presence of inter-…
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
In future intelligent transportation systems, networked vehicles coordinate with each other to achieve safe operations based on an assumption that communications among vehicles and…
Supervisor Synthesis of POMDP based on Automata Learning
Xiaobin Zhang, Bo Wu, Hai Lin
As a general and thus popular model for autonomous systems, partially observable Markov decision process (POMDP) can capture uncertainties from different sources like sensing noise…
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…
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…