45 citations · 205 across the 65 of their papers we have counts for
8 papers · 1 filter
Reactive Integrated Mission and Motion planning
Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of…
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-…
Learning-based Formal Synthesis of Cooperative Multi-agent Systems
Jin Dai, Alessandro Benini, Hai Lin +3
We propose a formal design framework for synthesizing coordination and control policies for cooperative multi-agent systems to accomplish a global mission. The global performance r…
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…