LTL Dependents

2020

An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation

by Salomon Sickert

May 08

2019

A Compositional and Unified Translation of LTL into ω-Automata

by Benedikt Seidl and Salomon Sickert

Apr 16

2015

Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata

by Salomon Sickert

Sep 04

2014

Promela Formalization

by René Neumann

May 28

Converting Linear-Time Temporal Logic to Generalized Büchi Automata

by Alexander Schimpf and Peter Lammich

May 28

2012

Stuttering Equivalence

by Stephan Merz

May 07