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...")
 
 
(2 intermediate revisions by the same user not shown)
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 = ??? to ???
+
| 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 Spot 2.0 to Spot 2.10: What's New?<nowiki>}</nowiki>,
+
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>???<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>???--???<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>,
note = <nowiki>{</nowiki>To appear<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>,
 
doi = <nowiki>{</nowiki>10.1007/978-3-031-13188-2_9<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
   

Latest revision as of 05:05, 14 August 2022

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}
}