Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{2298917,
author = {DuretandLutz, Alexandre and Renault, Etienne and Colange, Maximilien and Renkin, Florian and Aisse, Alexandre Gbaguidi and SchlehuberandCaissier, Philipp and Medioni, Thomas and Martin, Antoine and Dubois, Jérôme and Gillard, Clément and Lauko, Henrich},
address = {Cham},
booktitle = {Computer Aided Verification},
doi = {http://dx.doi.org/10.1007/978-3-031-13188-2_9},
editor = {Sharon Shoham, Yakir Vizel},
keywords = {Spot library; omega automata; model checking; acceptance transformations; alternating automata; LTL synthesis},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Cham},
isbn = {978-3-031-13187-5},
pages = {174-187},
publisher = {Springer International Publishing},
title = {From Spot 2.0 to Spot 2.10: What's New?},
year = {2022}
}
TY - JOUR
ID - 2298917
AU - Duret-Lutz, Alexandre - Renault, Etienne - Colange, Maximilien - Renkin, Florian - Aisse, Alexandre Gbaguidi - Schlehuber-Caissier, Philipp - Medioni, Thomas - Martin, Antoine - Dubois, Jérôme - Gillard, Clément - Lauko, Henrich
PY - 2022
TI - From Spot 2.0 to Spot 2.10: What's New?
PB - Springer International Publishing
CY - Cham
SN - 9783031131875
KW - Spot library
KW - omega automata
KW - model checking
KW - acceptance transformations
KW - alternating automata
KW - LTL synthesis
N2 - Spot is a C++17 library for LTL and {\$}{\$}{\backslash}omega {\$}{\$}$\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 {\$}{\$}{\backslash}omega {\$}{\$}$\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.
ER -
DURET-LUTZ, Alexandre, Etienne RENAULT, Maximilien COLANGE, Florian RENKIN, Alexandre Gbaguidi AISSE, Philipp SCHLEHUBER-CAISSIER, Thomas MEDIONI, Antoine MARTIN, Jérôme DUBOIS, Clément GILLARD a Henrich LAUKO. From Spot 2.0 to Spot 2.10: What's New?. Online. In Sharon Shoham, Yakir Vizel. \textit{Computer Aided Verification}. Cham: Springer International Publishing, 2022, s.~174-187. ISBN~978-3-031-13187-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-13188-2\_{}9.
|
