2 citations · 2 across the 3 of their papers we have counts for
3 papers
math.OC2025
Upper and Lower Bounds for a Class of Constrained Linear Time-Varying Games
Vincent Liu, Chris Manzie, Peter M. Dower
This paper develops an algorithm for upper- and lower-bounding the value function for a class of linear time-varying games subject to convex control sets. In particular, a two-play…
math.OC2024★ 2 cited
A Hamilton-Jacobi-Bellman Approach to Ellipsoidal Approximations of Reachable Sets for Linear Time-Varying Systems
Vincent Liu, Chris Manzie, Peter M. Dower
Reachable sets for a dynamical system describe collections of system states that can be reached in finite time, subject to system dynamics. They can be used to guarantee goal satis…
math.OC2022
A Tree Structure Approach to Reachability Analysis
Alessandro Alla, Peter M. Dower, Vincent Liu
Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamil…