Aurora C. Schmidt

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 19

Top Topics

Collision Avoidance

Semantic Attributes

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
A Safety Fallback Controller for Improved Collision Avoidance. ICAA (2023)
Pepita Barnard, John Robert Bautista, Joshua Krook, Anqi Liu, Héctor Menéndez, Aurora C. Schmidt, Tamim Sookoor
MACAIF: Machine Learning Auditing for Clinical AI Fairness. TAS (2023)
Aurora C. Schmidt, Christopher J. Cameron, Corey Lowman, Joshua Brulé, Amruta Deshpande, Seyyed A. Fatemi, Vladimir Barash, Ariel M. Greenberg, Cash J. Costello, Eli Sherman, Rohit Bhattacharya, Liz McQuillan, Alexander Perrone, Yanni Kouskoulas, Clay Fink, June Zhang, Ilya Shpitser, Michael W. Macy
Searching for explanations: testing social scientific methods in synthetic ground-truthed worlds. Comput. Math. Organ. Theory 29 (1) (2023)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR (2022)
Yanni Kouskoulas, Rosa Wu, Joshua Brulé, Daniel Genin, Aurora C. Schmidt, Thyago J. Machado
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm. NFM (2021)
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
Formal Verification of Neural Network Controllers for Collision-Free Flight. VSTTE (2021)
Vladimir Barash, Clayton Fink, Christopher Cameron, Aurora C. Schmidt, Wei Dong, Michael Macy, John Kelly, Amruta Deshpande
A Twitter Social Contagion Monitor. ASONAM (2020)
Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples. CoRR (2020)
Aurora C. Schmidt, Clay Fink, Vladimir Barash, Christopher J. Cameron, Michael Macy
Using Spectral Clustering of Hashtag Adoptions to Find Interest-Based Communities. ICC (2018)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. ITP (2017)
Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang
Combining Deep Universal Features, Semantic Attributes, and Hierarchical Classification for Zero-Shot Learning. CoRR (2017)
Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang
Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning. MVA (2017)
Clay Fink, Aurora C. Schmidt, Vladimir Barash, John Kelly, Christopher J. Cameron, Michael Macy
Investigating the Observability of Complex Contagion in Empirical Social Networks. ICWSM (2016)
Clay Fink, Aurora C. Schmidt, Vladimir Barash, Christopher J. Cameron, Michael Macy
Complex contagions and the diffusion of popular Twitter hashtags in Nigeria. Soc. Netw. Anal. Min. 6 (1) (2016)
Philippe M. Burlina, Aurora C. Schmidt, I-Jeng Wang
Zero Shot Deep Learning from Semantic Attributes. ICMLA (2015)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT (2015)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS (2015)
Aurora C. Schmidt, Clay Fink, Nathan Bos
Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation. ICWSM (2014)
Aurora C. Schmidt, José M. F. Moura
Distributed field reconstruction with model-robust basis pursuit. ICASSP (2012)
Aurora C. Schmidt, Joel B. Harley, José M. F. Moura
Compressed sensing radar surveillance networks. SAM (2012)
Aurora C. Schmidt, José M. F. Moura
Field inversion by consensus and compressed sensing. ICASSP (2009)