Ryan Matheu

Orcid: 0009-0007-0669-7661

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis.
CoRR, April, 2026

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks.
CoRR, March, 2026

2025
BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis.
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.
Proceedings of the 2025 European Control Conference, 2025


  Loading...