Scholar
Joris Verhagen
Google Scholar ID: EL38HNQAAAAJ
Ph.D. candidate, KTH
Motion-planning
Multi-Agent Systems
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
16
H-index
3
i10-index
0
Publications
7
Co-authors
5
list available
Contact
CV
Open ↗
GitHub
Open ↗
Publications
10 items
Fast and Robust Temporal Logic Planning via ADMM-based Trajectory Optimization
2026
Cited
0
Resilient Motion Planning for Free-Flying Space Robots under Actuator Failures
2026
Cited
0
mjorbit: A Simulation Framework for Space Robotics
2026
Cited
0
Temporal logics and formal synthesis for robot planning and control
2026
Cited
0
Safety-critical Control Under Partial Observability: Reach-Avoid POMDP meets Belief Space Control
2026
Cited
0
Validation of Space Robotics in Underwater Environments via Disturbance Robustness Equivalency
2026
Cited
0
Marinarium: a New Arena to Bring Maritime Robotics Closer to Shore
2026
Cited
0
Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
2025
Cited
0
Load more
Resume
Academic Achievements
Developed a planning and control approach for collaborative object transportation in space via impact interactions.
Proposed a method for synthesizing maximally disturbance-robust controllers using Hamilton-Jacobi reachability for STL specifications.
Designed an efficient time-robust multi-agent motion planning framework using Bézier curves with theoretical soundness guarantees.
Completed Master’s thesis titled 'Complex Dynamical Systems, walking like humans!', applying human-inspired gait models to Cassie robot locomotion.
Implemented a quadcopter motion planning system combining RRT for coarse path generation and nonlinear MPC for real-time control.
Co-authors
4 total
Jana Tumova
KTH
Lars Lindemann
Assistant Professor of Algorithmic Systems Theory, ETH Zürich
Ajay Seth
Associate Professor of Biomechanical Engineering, Delft University of Technology
Aaron D. Ames
Bren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, Caltech