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
SpaceEx Hybrid Models with LTL Properties Ludovico Battista, Stefano Tonetta and Gianni Zampedri In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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