Andrew Schoer

According to our database, Andrew Schoer authored at least 2 papers between 2022 and 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

2022

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).

Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta

IEEE Trans. Robotics, 2022