Laura Gamboa-Guzman

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Semistructured Data

Deterministic Finite Automata

Regular Expressions

Top Venues

Publications

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