Keyword:LTL

Publications
From Spot 2.0 to Spot 2.10: What's New? Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard and Henrich Lauko EasyChair Preprint 8618
Gödel logics and the fully boxed fragment of LTL Matthias Baaz and Norbert Preining In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Complexity of LTL Model-Checking for Safe Object Nets Michael Köhler-Bußmeier and Frank Heitmann In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility