HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Henrich Lauko

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

Keyphrases

acceptance condition, Emerson-Lei acceptance, HOA format, LTL, tool, transformation, ω-automata.

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