Ryan Matheu

According to our database, Ryan Matheu authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis.

Ryan Matheu, John S. Baras, Calin Belta

CoRR, April, 2026

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks.

Sai Sandeep Damera, Ryan Matheu, Aniruddh Gopinath Puranic, John S. Baras

CoRR, March, 2026

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