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
6 items
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
Collaborative Object Transportation in Space via Impact Interactions
2025
Cited
0
Towards Open-Source and Modular Space Systems with ATMOS
2025
Cited
0
Resume (English only)
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
5 total
Jana Tumova
KTH
Lars Lindemann
Assistant Professor of Algorithmic Systems Theory, ETH Zürich
Co-author 3
Co-author 4
Aaron D. Ames
Bren Professor, Mechanical and Civil Engineering, Control and Dynamical Systems, Caltech
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up