Elanor Tang

According to our database, Elanor Tang authored at least 2 papers between 2022 and 2026.

Collaborative distances:

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

2026

Automatic Certification of the Active Corner Method for Collision Avoidance.

Nishant Kheterpal, J. Tanner Slagel, Elanor Tang, Serra Z. Dane, Jean-Baptiste Jeannin

Proceedings of the NASA Formal Methods, 2026

2022

Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant Kheterpal, Elanor Tang, Jean-Baptiste Jeannin

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022