Laura P. Gamboa Guzman

According to our database, Laura P. Gamboa Guzman authored at least 4 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL).

Zili Wang, Laura P. Gamboa Guzman, Kristin Y. Rozier

Sci. Comput. Program., 2026

2023

Stalnaker's Epistemic Logic in Isabelle/HOL.

Laura P. Gamboa Guzman, Kristin Y. Rozier

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.

Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Stalnaker's Epistemic Logic.

Laura P. Gamboa Guzman

Arch. Formal Proofs, 2022