Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Digital Collaborative Design and Verification Method, Device, and Storage Medium for Automated Equipment
Published in Patent Application, 2024
A patent for digital collaborative design and verification methods, devices, and storage media for automated equipment systems.
Recommended citation: Zhao, Q. (2024). Digital Collaborative Design and Verification Method, Device, and Storage Medium for Automated Equipment. Patent Application.
Download Paper
Shortest Time Decision Method and System for Cluster Collaborative Tasks Based on Formal Methods
Published in Patent Application, 2024
A patent for shortest time decision methods and systems for cluster collaborative tasks using formal methods and optimization techniques.
Recommended citation: Zhao, Q. (2024). Shortest Time Decision Method and System for Cluster Collaborative Tasks Based on Formal Methods. Patent Application.
Download Paper
Dynamic Allocation Decision Method and System for Unmanned Swarm Based on Formal Methods
Published in Patent Application, 2024
A patent for dynamic allocation decision methods and systems for unmanned swarm operations using formal methods and temporal logic.
Recommended citation: Zhao, Q. (2024). Dynamic Allocation Decision Method and System for Unmanned Swarm Based on Formal Methods. Patent Application.
Download Paper
Adaptive Planning for Multi-Robot Uncertainty Perception in Dynamic Tasks
Published in Patent Application, 2024
A patent for adaptive planning methods in multi-robot systems with uncertainty perception capabilities for dynamic task environments.
Recommended citation: Zhao, Q. (2024). Adaptive Planning for Multi-Robot Uncertainty Perception in Dynamic Tasks. Patent Application.
Download Paper
UMBRELLA: Uncertainty-aware Multi-roBot REactive Coordination under Dynamic TemporaL Logic TAsk
Published in IEEE International Conference on Robotics and Automation (ICRA), 2026
We propose UMBRELLA, a novel framework for uncertainty-aware multi-robot reactive coordination under dynamic temporal logic tasks, demonstrating effectiveness through simulations and hardware experiments.
Recommended citation: Zhao, Q., Guo, M., Du, H., Lindemann, L., & Li, Z. (2026). UMBRELLA: Uncertainty-aware Multi-roBot REactive Coordination under Dynamic TemporaL Logic TAsk. IEEE International Conference on Robotics and Automation (ICRA).
Download Paper