28 citations · 28 across the 2 of their papers we have counts for
2 papers
eess.SY2020
V-Formation via Model Predictive Control
Radu Grosu, Anna Lukina, Scott A. Smolka +3
We present recent results that demonstrate the power of viewing the problem of V-formation in a flock of birds as one of Model Predictive Control (MPC). The V-formation-MPC marriag…
cs.LG2019★ 28 cited
Outside the Box: Abstraction-Based Monitoring of Neural Networks
Thomas A. Henzinger, Anna Lukina, Christian Schilling
Neural networks have demonstrated unmatched performance in a range of classification tasks. Despite numerous efforts of the research community, novelty detection remains one of the…