Anne Tumlin

Tumlin, A. M., Manzanas Lopez, D., Robinette, P., Zhao, Y., Derr, T., & Johnson, T. T. (2024). FairNNV: The Neural Network Verification Tool for Certifying Fairness. Proceedings of the 5th ACM International Conference on AI in Finance (ICAIF '24), 36–44. Association for Computing Machinery. https://doi.org/10.1145/3677052.3698677

Serbinowska, S. S., Potteiger, N., Tumlin, A. M., & Johnson, T. T. (2024). Verification of Behavior Trees with Contingency Monitors. In Proceedings of the 12th Workshop on Formal Methods for Autonomous Systems (FMAS 2024). https://doi.org/10.4204/EPTCS.411.4

Tumlin, A. M., O'Kane, J. M. (2023). Information Routing With Ocean Sensor Nodes. 2023 Discover University of South Carolina (UofSC).

Aquino, M., Ortiz, Y., Rashid, A., Tumlin, A. M., Artan, N. S., Dong, Z., Gu, H. (2021). Toxic Comment Detection: Analyzing the Combination of Text and Emojis. 2021 IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems (MASS).

Olsen, T., Tumlin, A. M., Stiffler, N. M., O'Kane, J. M. (2021). A Visibility Roadmap Sampling Approach for a Multi-Robot Visibility-Based Pursuit-Evasion Problem. 2021 IEEE International Conference on Robotics and Automation (ICRA).