Research
Reviewed articles
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.
Published formalizations
Stalnaker's Epistemic Logic in Archive of Formal Proofs (September 2022). (Website, Outline PDF, Isabelle Theory.)
Current projects
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community. (Website)