Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1306808,
author = {Babiak, Tomáš and Blahoudek, František and DuretandLutz, Alexandre and Klein, Joachim and Křetínský, Jan and Müller, David and Parker, David and Strejček, Jan},
address = {Cham},
booktitle = {Computer Aided Verification: 27th International Conference, CAV 2015},
doi = {http://dx.doi.org/10.1007/978-3-319-21690-4_31},
editor = {Daniel Kroening, Corina Pasareanu},
keywords = {automata; infinite words; verification},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Cham},
isbn = {978-3-319-21689-8},
pages = {479-486},
publisher = {Springer},
title = {The Hanoi Omega-Automata Format},
year = {2015}
}
TY - JOUR
ID - 1306808
AU - Babiak, Tomáš - Blahoudek, František - Duret-Lutz, Alexandre - Klein, Joachim - Křetínský, Jan - Müller, David - Parker, David - Strejček, Jan
PY - 2015
TI - The Hanoi Omega-Automata Format
PB - Springer
CY - Cham
SN - 9783319216898
KW - automata
KW - infinite words
KW - verification
N2 - We propose a flexible exchange format for omega-automata, as typically used in formal verification, and implement support for it in a range of established tools. Our aim is to simplify the interaction of tools, helping the research community to build upon other people's work. A key feature of the format is the use of very generic acceptance conditions, specified by Boolean combinations of acceptance primitives, rather than being limited to common cases such as Buchi, Streett, or Rabin. Such flexibility in the choice of acceptance conditions can be exploited in applications, for example in probabilistic model checking, and furthermore encourages the development of acceptance-agnostic tools for automata manipulations. The format allows acceptance conditions that are either state-based or transition-based, and also supports alternating automata.
ER -
BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER and Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. \textit{Computer Aided Verification: 27th International Conference, CAV 2015}. Cham: Springer, 2015, p.~479-486. ISBN~978-3-319-21689-8. Available from: https://dx.doi.org/10.1007/978-3-319-21690-4\_{}31.
|
