Anne M. Tumlin

According to our database, Anne M. Tumlin authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Verification of Behavior Trees with Contingency Monitors.

Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson

CoRR, 2024

FairNNV: The Neural Network Verification Tool For Certifying Fairness.

Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson

Proceedings of the 5th ACM International Conference on AI in Finance, 2024

2021

Toxic Comment Detection: Analyzing the Combination of Text and Emojis.

Michael Aquino, Yasiris Ortiz, Arif Rashid, Anne M. Tumlin, N. Sertac Artan, Ziqian Dong, Huanying Gu

Proceedings of the IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems, 2021

A Visibility Roadmap Sampling Approach for a Multi-Robot Visibility-Based Pursuit-Evasion Problem.

Trevor Olsen, Anne M. Tumlin, Nicholas M. Stiffler, Jason M. O'Kane

Proceedings of the IEEE International Conference on Robotics and Automation, 2021