Andrew Schoer

According to our database, Andrew Schoer authored at least 3 papers between 2022 and 2025.

Collaborative distances:

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

2025

Belief Space Control of Safety-Critical Systems Under State-Dependent Measurement Noise.

Rohan Walia, Mitchell Black, Andrew Schoer, Kevin Leahy

CoRR, October, 2025

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