32 citations · 37 across the 11 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2023
Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
Max H. Cohen, Makai Mann, Kevin Leahy +1
In this paper, we present a framework for online parameter estimation and uncertainty quantification in the context of adaptive safety-critical control. The key insight enabling ou…
eess.SY2022
Robust Multi-Agent Coordination from CaTL+ Specifications
Wenliang Liu, Kevin Leahy, Zachary Serlin +1
We consider the problem of controlling a heterogeneous multi-agent system required to satisfy temporal logic requirements. Capability Temporal Logic (CaTL) was recently proposed to…