Zili Wang

16 papers A* 1B 2C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
WEST: Interactive validation of Mission-time Linear Temporal Logic (MLTL).
Sci. Comput. Program.
Zili Wang, Laura P. Gamboa Guzman, Kristin Y. Rozier
2025 C conf
Formalizing MLTL Formula Progression in Isabelle/HOL.
CICM
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier
2025 — conf
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.
TACAS (1)
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 J jnl
Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.
CoRR
Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 — conf
Language Partitioning for Mission-Time Linear Temporal Logic.
NFM
Alec Rosentrater, Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier
2025 J jnl
Language Partitioning for Mission-time Linear Temporal Logic.
Arch. Formal Proofs
Zili Wang, Katherine Kosaian, Alec Rosentrater
2025 J jnl
Mission-time Linear Temporal Logic Formula Progression.
Arch. Formal Proofs
Katherine Kosaian, Zili Wang
2025 J jnl
Mission-time Linear Temporal Logic to Regular Expressions.
Arch. Formal Proofs
Zili Wang, Katherine Kosaian
2025 J jnl
Mission-time Linear Temporal Logic.
Arch. Formal Proofs
Katherine Kosaian, Zili Wang, Elizabeth Sloan
2025 J jnl
Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains.
CoRR
Zili Wang, Frank Montabon, Kristin Yvonne Rozier
2024 B conf
Basic syntax from speech: Spontaneous concatenation in unsupervised deep neural networks.
CogSci
Gasper Begus, Thomas Lu, Zili Wang
2024 A* conf
Fast Deterministic Black-box Context-free Grammar Inference.
ICSE
Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner
2024 J jnl
Formalizing MLTL Formula Progression in Isabelle/HOL.
CoRR
Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier
2023 J jnl
Basic syntax from speech: Spontaneous concatenation in unsupervised deep neural networks.
CoRR
Gasper Begus, Thomas Lu, Zili Wang
2023 B conf
Mission-Time LTL (MLTL) Formula Validation via Regular Expressions.
iFM
Jenna Elwing, Laura P. Gamboa Guzman, Jeremy Sorkin, Chiara Travesset, Zili Wang, Kristin Yvonne Rozier
2023 J jnl
Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars.
CoRR
Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner