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)

Basic syntax from speech: Spontaneous concatenation in unsupervised deep neural networks. - Gasper Begus; Thomas Lu; Zili Wang 004 (CoRR, 2023)

Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars. - Mohammad Rifat Arefin; Suraj Shetiya; Zili Wang 004; Christoph Csallner (CoRR, 2023)

Fast Deterministic Black-box Context-free Grammar Inference. - Mohammad Rifat Arefin; Suraj Shetiya; Zili Wang 004; Christoph Csallner (ICSE, 2024)

Formalizing MLTL Formula Progression in Isabelle/HOL. - Katherine Kosaian; Zili Wang 004; Elizabeth Sloan; Kristin Y. Rozier (CoRR, 2024)

Language Partitioning for Mission-Time Linear Temporal Logic. - Alec Rosentrater; Zili Wang 004; Katherine Kosaian; Kristin Yvonne Rozier (NFM, 2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions. - Zili Wang 004; Katherine Kosaian; Kristin Yvonne Rozier (TACAS (1), 2025)

Mission-time Linear Temporal Logic Formula Progression. - Katherine Kosaian; Zili Wang 004 (Arch. Formal Proofs, 2025)

Mission-time Linear Temporal Logic. - Katherine Kosaian; Zili Wang 004; Elizabeth Sloan (Arch. Formal Proofs, 2025)

Mission-time Linear Temporal Logic to Regular Expressions. - Zili Wang 004; Katherine Kosaian (Arch. Formal Proofs, 2025)

Language Partitioning for Mission-time Linear Temporal Logic. - Zili Wang 004; Katherine Kosaian; Alec Rosentrater (Arch. Formal Proofs, 2025)

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains. - Zili Wang 004; Frank Montabon; Kristin Yvonne Rozier (CoRR, 2025)

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