A decomposition-based approach to stability analysis of large-scale stochastic systems. - Ana Sofia Rufino Ferreira; Murat Arcak; Eduardo D. Sontag (ACC, 2012)

Stability certification of large scale stochastic systems using dissipativity. - Ana Sofia Rufino Ferreira; Murat Arcak; Eduardo D. Sontag (Autom., 2012)

A Graph Partitioning Approach to Predict Patterns in Lateral Inhibition Systems. - Ana Sofia Rufino Ferreira; Murat Arcak (CoRR, 2012)

Predicting patterns in lateral inhibition systems via graph partitioning. - Ana Sofia Rufino Ferreira; Murat Arcak (ACC, 2013)

A Graph Partitioning Approach to Predicting Patterns in Lateral Inhibition Systems. - Ana Sofia Rufino Ferreira; Murat Arcak (SIAM J. Appl. Dyn. Syst., 2013)

Pattern formation with a compartmental lateral inhibition system. - Ana Sofia Rufino Ferreira; Justin Hsia; Murat Arcak; Michel M. Maharbiz; Adam P. Arkin (CDC, 2014)

Inquire: Large-scale Early Insight Discovery for Qualitative Research. - Pablo Paredes; Ana Sofia Rufino Ferreira; Cory Schillaci; Gene Ryan Yoo; Pierre Karashchuk; Dennis Xing; Coye Cheshire; John F. Canny (CSCW, 2017)

Symmetry Reduction for Performance Certification of Interconnected Systems. - Ana Sofia Rufino Ferreira; Chris Meissen; Murat Arcak; Andrew K. Packard (IEEE Trans. Control. Netw. Syst., 2018)

SafetyNet: Safe Planning for Real-World Self-Driving Vehicles Using Machine-Learned Policies. - Matt Vitelli; Yan Chang; Yawei Ye; Ana Ferreira 011; Maciej Wolczyk; Blazej Osinski; Moritz Niendorf; Hugo Grimmett; Qiangui Huang; Ashesh Jain; Peter Ondruska (ICRA, 2022)

Safe Real-World Autonomous Driving by Learning to Predict and Plan with a Mixture of Experts. - Stefano Pini; Christian S. Perone; Aayush Ahuja; Ana Sofia Rufino Ferreira; Moritz Niendorf; Sergey Zagoruyko (ICRA, 2023)