Helena Teixeira-Dasilva

According to our database, Helena Teixeira-Dasilva authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Control Barrier Function Toolbox: An Extensible Framework for Provable Safety.

Andrew Schoer, Helena Teixeira-Dasilva, Christian So, Makai Mann, Roberto Tron

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024