According to our database1, Aurora Schmidt authored at least 14 papers between 2009 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Good Fences Make Good Neighbors - Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.
Proceedings of the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2020
Proceedings of the 2018 IEEE International Conference on Communications, 2018
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.
Int. J. Softw. Tools Technol. Transf., 2017
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Soc. Netw. Anal. Min., 2016
Proceedings of the Tenth International Conference on Web and Social Media, 2016
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2015 International Conference on Embedded Software, 2015
Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation.
Proceedings of the Eighth International Conference on Weblogs and Social Media, 2014
Proceedings of the IEEE 7th Sensor Array and Multichannel Signal Processing Workshop, 2012
Proceedings of the 2012 IEEE International Conference on Acoustics, 2012
Proceedings of the IEEE International Conference on Acoustics, 2009