Research

Jenna Elwing, Laura Gamboa-Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, and Kristin Yvonne Rozier. “Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.” In Proceedings of the 18th International Conference on Integrated Formal Methods (iFM), volume 14300 of Lecture Notes in Computer Science (LNCS), Formal Methods subline, Springer, Leiden, The Netherlands, November 13-15, 2023.

Laura P. Gamboa Guzman, and Kristin Yvonne Rozier. “Stalnaker’s Epistemic Logic in Isabelle/HOL.” In Proceedings of the 18th Logical and Semantic Frameworks with Applications (LSFA), Springer, Rome, Italy, July 1–2, 2023. (arXiv)

Dynamical operators on models with evidence. Trabajo de grado maestría, 2021 (link.)

Conjuntos aproximados y su relación con algunas lógicas modales. Proyecto de grado pregrado, 2019 (link.)

Stalnaker's Epistemic Logic in Archive of Formal Proofs (September 2022). (Website, Outline PDF, Isabelle Theory.)

WEST: Interactive Validation of Mission-time LTL (MLTL) Via Regular Expressions. (Website)

Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. (Website)