Mission-time Linear Temporal Logic to Regular Expressions

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361278FDO

Authors Zili Wang, Katherine Kosaian

Publication date 24 January 2025

Formalizing MLTL formula progression in Isabelle/HOL
Integrated formal methods. 18th international conference, IFM 2023, Leiden, The Netherlands, November 13--15, 2023. Proceedings

This page was built for software: Mission-time Linear Temporal Logic to Regular Expressions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Mission-time_Linear_Temporal_Logic_to_Regular_Expressions&oldid=105364484"