From Spot 2.0 to Spot 2.10: What's New?
Authors: 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
Paper Information
| Title: | From Spot 2.0 to Spot 2.10: What's New? |
| Authors: | 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 |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | tool, ω-automata, Emerson-Lei acceptance, LTL, transformation |
| Pages: | 13 |
| Talk: | Aug 09 12:00 (Session 102A: Automata and Logic) |
| Paper: |  |