activity
20242026
most citedMixed-Integer MPC-Based Motion Planning Using Hybrid Zonotopes with Tight Relaxations

3 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

eess.SY2026

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes

Andrew F. Thompson, Joshua A. Robbins, Jonah J. Glunt +2

Metric temporal logic (MTL) provides a formal framework for defining time-dependent mission requirements on autonomous vehicles. However, optimizing control decisions subject to th…