3 citations · 4 across the 3 of their papers we have counts for
3 papers
eess.SY2025★ 1 cited
Automatic and Scalable Safety Verification using Interval Reachability with Subspace Sampling
Brendan Gould, Akash Harapanahalli, Samuel Coogan
Interval refinement is a technique for reducing the conservatism of traditional interval based reachability methods by lifting the system to a higher dimension using new auxiliary…
cs.GT2022★ 3 cited
Information Design for Vehicle-to-Vehicle Communication
Brendan T. Gould, Philip N. Brown
The emerging technology of Vehicle-to-Vehicle (V2V) communication over vehicular ad hoc networks promises to improve road safety by allowing vehicles to autonomously warn each othe…
cs.GT2022
On Partial Adoption of Vehicle-to-Vehicle Communication: When Should Cars Warn Each Other of Hazards?
Brendan T. Gould, Philip N. Brown
The emerging technology of Vehicle-to-Vehicle (V2V) communication over vehicular ad hoc networks promises to improve road safety by allowing vehicles to autonomously warn each othe…