publications

2026

1. Preprint

   Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks

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

   2026

   arXiv Bib

   @misc{matheu2026differentiable,
     title = {Differentiable Ternary Temporal Logic Semantics with Polynomial Surrogate Networks},
     author = {Matheu, Ryan and Damera, Sai Sandeep and Baras, John S and Belta, Calin},
     journal = {arXiv preprint arXiv:2610.04662},
     year = {2026}
   }

2. Conference

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

   Ryan Matheu, John S Baras, and Calin Belta

   To appear in IEEE 65th Conference on Decision and Control (CDC 2026)

   arXiv Bib

   @inproceedings{matheu2026ternary,
     title = {Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis},
     author = {Matheu, Ryan and Baras, John S and Belta, Calin},
     booktitle = {IEEE 65th Conference on Decision and Control (CDC 2026)},
     year = {2026},
     organization = {IEEE}
   }

3. Conference

   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

   To appear in IEEE 65th Conference on Decision and Control (CDC 2026)

   arXiv Bib

   @inproceedings{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},
     booktitle = {IEEE 65th Conference on Decision and Control (CDC 2026)},
     year = {2026},
     organization = {IEEE}
   }

4. Conference

   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

   In IEEE International Symposium on Systems Engineering (ISSE 2026)

   arXiv Bib

   @inproceedings{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},
     booktitle = {IEEE International Symposium on Systems Engineering (ISSE 2026)},
     year = {2026},
     organization = {IEEE}
   }

5. Conference

   Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks

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

   In 3rd International Conference on Neuro-Symbolic Systems (NeuS 2026)

   arXiv Bib

   @inproceedings{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},
     booktitle = {3rd International Conference on Neuro-Symbolic Systems (NeuS 2026)},
     year = {2026}
   }

2025

1. 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 23rd 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 = {23rd European Control Conference (ECC 2025)},
     pages = {2129--2135},
     year = {2025},
     organization = {IEEE}
   }

2. 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 (HSCC 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 (HSCC 2025)},
     pages = {1--11},
     year = {2025}
   }