Difference between revisions of "Publications/duret.22.cav"
From LRDE
(Created page with "{{Publication | published = true | date = 2022-06-06 | authors = Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse...") |
|||
Line 5: | Line 5: | ||
| title = From Spot 2.0 to Spot 2.10: What's New? |
| title = From Spot 2.0 to Spot 2.10: What's New? |
||
| booktitle = Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) |
| booktitle = Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22) |
||
− | | volume = |
+ | | volume = 13372 |
| series = Lecture Notes in Computer Science |
| series = Lecture Notes in Computer Science |
||
− | | pages = |
+ | | pages = 174 to 187 |
| publisher = Springer |
| publisher = Springer |
||
− | | note = To appear |
||
| abstract = Spot is a C++17 library for LTL and <math>\omega</math>-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support <math>\omega</math>-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. |
| abstract = Spot is a C++17 library for LTL and <math>\omega</math>-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support <math>\omega</math>-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata. |
||
| lrdeprojects = Spot |
| lrdeprojects = Spot |
||
Line 16: | Line 15: | ||
| type = inproceedings |
| type = inproceedings |
||
| id = duret.22.cav |
| id = duret.22.cav |
||
+ | | identifier = doi:10.1007/978-3-031-13188-2_9 |
||
| bibtex = |
| bibtex = |
||
@InProceedings<nowiki>{</nowiki> duret.22.cav, |
@InProceedings<nowiki>{</nowiki> duret.22.cav, |
||
Line 23: | Line 23: | ||
Martin and J<nowiki>{</nowiki>\'e<nowiki>}</nowiki>r<nowiki>{</nowiki>\^o<nowiki>}</nowiki>me Dubois and Cl<nowiki>{</nowiki>\'e<nowiki>}</nowiki>ment Gillard |
Martin and J<nowiki>{</nowiki>\'e<nowiki>}</nowiki>r<nowiki>{</nowiki>\^o<nowiki>}</nowiki>me Dubois and Cl<nowiki>{</nowiki>\'e<nowiki>}</nowiki>ment Gillard |
||
and Henrich Lauko<nowiki>}</nowiki>, |
and Henrich Lauko<nowiki>}</nowiki>, |
||
− | title = <nowiki>{</nowiki>From |
+ | title = <nowiki>{</nowiki>From <nowiki>{</nowiki>S<nowiki>}</nowiki>pot 2.0 to <nowiki>{</nowiki>S<nowiki>}</nowiki>pot 2.10: What's New?<nowiki>}</nowiki>, |
booktitle = <nowiki>{</nowiki>Proceedings of the 34th International Conference on |
booktitle = <nowiki>{</nowiki>Proceedings of the 34th International Conference on |
||
Computer Aided Verification (CAV'22)<nowiki>}</nowiki>, |
Computer Aided Verification (CAV'22)<nowiki>}</nowiki>, |
||
year = 2022, |
year = 2022, |
||
− | volume = <nowiki>{</nowiki> |
+ | volume = <nowiki>{</nowiki>13372<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
||
− | pages = <nowiki>{</nowiki> |
+ | pages = <nowiki>{</nowiki>174--187<nowiki>}</nowiki>, |
month = aug, |
month = aug, |
||
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
||
⚫ | |||
abstract = <nowiki>{</nowiki>Spot is a C++17 library for LTL and $\omega$-automata |
abstract = <nowiki>{</nowiki>Spot is a C++17 library for LTL and $\omega$-automata |
||
manipulation, with command-line utilities, and Python |
manipulation, with command-line utilities, and Python |
||
Line 42: | Line 41: | ||
features such as acceptance transformations, alternating |
features such as acceptance transformations, alternating |
||
automata, games, LTL synthesis, and more. We also shed some |
automata, games, LTL synthesis, and more. We also shed some |
||
− | lights on the data-structure used to store automata.<nowiki>}</nowiki> |
+ | lights on the data-structure used to store automata.<nowiki>}</nowiki>, |
⚫ | |||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 11:36, 8 August 2022
- 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, Henrich Lauko
- Where
- Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)
- Type
- inproceedings
- Publisher
- Springer
- Projects
- Spot
- Date
- 2022-06-06
Abstract
Spot is a C++17 library for LTL and -automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support -automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata.
Documents
Bibtex (lrde.bib)
@InProceedings{ duret.22.cav, author = {Alexandre~Duret-Lutz and Etienne Renault and Maximilien Colange and Florian Renkin and Alexandre Gbaguidi~Aisse and Philipp Schlehuber-Caissier and Thomas Medioni and Antoine Martin and J{\'e}r{\^o}me Dubois and Cl{\'e}ment Gillard and Henrich Lauko}, title = {From {S}pot 2.0 to {S}pot 2.10: What's New?}, booktitle = {Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22)}, year = 2022, volume = {13372}, series = {Lecture Notes in Computer Science}, pages = {174--187}, month = aug, publisher = {Springer}, abstract = {Spot is a C++17 library for LTL and $\omega$-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support $\omega$-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata.}, doi = {10.1007/978-3-031-13188-2_9} }