HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexandre Duret-Lutz

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
Seminator: A Tool for Semi-Determinization of Omega-Automata
František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský and Jan Strejček
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

acceptance condition, Emerson-Lei acceptance, HOA format, LTL, LTL to automata translation, omega-automata, semi-deterministic automata, tool, transformation, ω-automata.

Copyright © 2012-2025 easychair.org. All rights reserved.