TY  - RPRT
TI  - Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
AU  - Zili Wang
AU  - Katherine Kosaian
AU  - Kristin Yvonne Rozier
PY  - 2025
UR  - https://arxiv.org/abs/2501.17444
ID  - 2501.17444
ER  -