publications

2026

1. Preprint

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

   Ryan Matheu, John S Baras, and Calin Belta

   2026

   Bib

   @misc{matheu2026ternary,
     title = {Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis},
     author = {Matheu, Ryan and Baras, John S and Belta, Calin},
     journal = {arXiv preprint arXiv:2604.12092},
     year = {2026}
   }

2. Preprint

   Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks

   Sai Sandeep Damera, Ryan Matheu, Aniruddh G Puranic, and John S Baras

   2026

   Bib

   @misc{damera2026polynomial,
     title = {Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks},
     author = {Damera, Sai Sandeep and Matheu, Ryan and Puranic, Aniruddh G and Baras, John S},
     journal = {arXiv preprint arXiv:2603.00302},
     year = {2026}
   }

2025

1. Conference

   Bt2automata: Expressing behavior trees as automata for formal control synthesis

   Ryan Matheu, Aniruddh G Puranic, John S Baras, and Calin Belta

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

   Bib

   @inproceedings{matheu2025bt2automata,
     title = {Bt2automata: Expressing behavior trees as automata for formal control synthesis},
     author = {Matheu, Ryan and Puranic, Aniruddh G and Baras, John S and Belta, Calin},
     booktitle = {Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control},
     pages = {1--11},
     year = {2025}
   }

2. Conference

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

   Ryan Matheu, Aniruddh G Puranic, John S Baras, and Calin Belta

   In 2025 European Control Conference (ECC), 2025

   Bib

   @inproceedings{matheu2025omtbt,
     title = {OMTBT: Online Monitoring of Temporal Behavior Trees with Applications to Closed-Loop Learning},
     author = {Matheu, Ryan and Puranic, Aniruddh G and Baras, John S and Belta, Calin},
     booktitle = {2025 European Control Conference (ECC)},
     pages = {2129--2135},
     year = {2025},
     organization = {IEEE}
   }