https://isa-afp.org/authors/wangz/ AFP entries of Zili Wang https://isa-afp.org/entries/Mission_Time_LTL_Formula_Progression.html Mon, 28 Jul 2025 00:00:00 +0000 Mission-time Linear Temporal Logic Formula Progression in the AFP Computer science Logic/General logic/Temporal logic https://isa-afp.org/entries/Mission_Time_LTL_Language_Partition.html Mon, 03 Mar 2025 00:00:00 +0000 Language Partitioning for Mission-time Linear Temporal Logic in the AFP Computer science/Automata and formal languages Logic/General logic/Temporal logic https://isa-afp.org/entries/Mission_Time_LTL_to_Regular_Expression.html Fri, 24 Jan 2025 00:00:00 +0000 Mission-time Linear Temporal Logic to Regular Expressions in the AFP Computer science/Automata and formal languages Logic/General logic/Temporal logic https://isa-afp.org/entries/Mission_Time_LTL.html Fri, 24 Jan 2025 00:00:00 +0000 Mission-time Linear Temporal Logic in the AFP Computer science/Automata and formal languages Logic/General logic/Temporal logic