Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7361187FDO

Authors Salomon Sickert

Publication date 4 September 2015

Computer aided verification. 26th international conference, CAV 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 18--22, 2014. Proceedings
From LTL to deterministic automata. A safraless compositional approach

This page was built for software: Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Converting_Linear_Temporal_Logic_to_Deterministic_(Generalized)_Rabin_Automata&oldid=105363782"