Ryan Matheu

According to our database, Ryan Matheu authored at least 2 papers in 2025.

Collaborative distances:

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

2025

BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis.

Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning.

Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras, Calin Belta

Proceedings of the 2025 European Control Conference, 2025