Zili Wang

According to our database, Zili Wang authored at least 13 papers between 2023 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

2025

Neurosymbolic Feature Extraction for Identifying Forced Labor in Supply Chains.

Zili Wang, Frank Montabon, Kristin Yvonne Rozier

CoRR, July, 2025

Language Partitioning for Mission-time Linear Temporal Logic.

Zili Wang, Katherine Kosaian, Alec Rosentrater

Arch. Formal Proofs, 2025

Mission-time Linear Temporal Logic to Regular Expressions.

Zili Wang, Katherine Kosaian

Arch. Formal Proofs, 2025

Mission-time Linear Temporal Logic.

Katherine Kosaian, Zili Wang, Elizabeth Sloan

Arch. Formal Proofs, 2025

Mission-time Linear Temporal Logic Formula Progression.

Katherine Kosaian, Zili Wang

Arch. Formal Proofs, 2025

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions.

Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Language Partitioning for Mission-Time Linear Temporal Logic.

Alec Rosentrater, Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Formalizing MLTL Formula Progression in Isabelle/HOL.

Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Y. Rozier

CoRR, 2024

Fast Deterministic Black-box Context-free Grammar Inference.

Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars.

Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner

CoRR, 2023

Basic syntax from speech: Spontaneous concatenation in unsupervised deep neural networks.

Gasper Begus, Thomas Lu, Zili Wang

CoRR, 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