 Decomposition-based Hierarchical Task Allocation and Planning for
Multi-Robots under Hierarchical Temporal Logic SpecificationsIEEE Robotics and Automation Letters (RA-L), 2023 |
 Reactive and human-in-the-loop planning and control of multi-robot
systems under LTL specifications in dynamic environmentsInternational Conference on Control, Decision and Information Technologies (CoDIT), 2023 |
 Velocity Obstacle for Polytopic Collision Avoidance for Distributed
Multi-robot SystemsIEEE Robotics and Automation Letters (RA-L), 2023 |
 On Multi-Robot Path Planning Based on Petri Net Models and LTL
specificationsIEEE Transactions on Automatic Control (TAC), 2022 |
 To Explore or Not to Explore: Regret-Based LTL Planning in
Partially-Known EnvironmentsIFAC-PapersOnLine (IFAC-PapersOnLine), 2022 |
