Definitive Set Semantics for LTL3

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361781FDO

Authors Rayhana Amjad, Rob van Glabbeek, Liam O'Connor

Publication date 12 August 2024

Semantics for linear-time temporal logic with finite observations

This page was built for software: Definitive Set Semantics for LTL3

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Definitive_Set_Semantics_for_LTL3&oldid=105368993"