Stalnaker's Epistemic Logic. - Laura P. Gamboa Guzman (Arch. Formal Proofs, 2022)

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions. - Jenna Elwing; Laura P. Gamboa Guzman; Jeremy Sorkin; Chiara Travesset; Zili Wang 004; Kristin Yvonne Rozier (iFM, 2023)

Stalnaker's Epistemic Logic in Isabelle/HOL. - Laura P. Gamboa Guzman; Kristin Y. Rozier (LSFA/HCVS, 2023)

WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL). - Zili Wang 004; Laura P. Gamboa Guzman; Kristin Y. Rozier (Sci. Comput. Program., 2026)