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

   arXiv 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

   arXiv 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}
   }

3. Preprint

   On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks

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

   2026

   arXiv Bib

   @misc{damera2026stability,
     title = {On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks},
     author = {Damera, Sai Sandeep and Matheu, Ryan and Puranic, Aniruddh G and Baras, John S and Belta, Calin},
     journal = {arXiv preprint arXiv:2605.24649},
     year = {2026}
   }

4. Preprint

   IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems

   John S Baras, Sai Sandeep Damera, Ryan Matheu, Clinton Enwerem, and Praveen Kumar

   2026

   arXiv Bib

   @misc{baras2026iddmbse,
     title = {IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems},
     author = {Baras, John S and Damera, Sai Sandeep and Matheu, Ryan and Enwerem, Clinton and Kumar, Praveen},
     journal = {arXiv preprint arXiv:2606.06727},
     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

   DOI Bib

   @inproceedings{matheu2025bt2automata,
     doi = {10.1145/3716863.3718042},
     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

   DOI Bib

   @inproceedings{matheu2025omtbt,
     doi = {10.23919/ECC65951.2025.11187275},
     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}
   }