Complementing Büchi Automata with Ranker

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F22%3APU144772" target="_blank" >RIV/00216305:26230/22:PU144772 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/publication/12767/" target="_blank" >https://www.fit.vut.cz/research/publication/12767/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-031-13188-2_10" target="_blank" >10.1007/978-3-031-13188-2_10</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Complementing Büchi Automata with Ranker

Popis výsledku v původním jazyce

We present the tool Ranker for complementing Büchi automata (BAs). Ranker builds on our previous optimizations of rank-based BA complementation and pushes them even further using numerous heuristics to produce even smaller automata. Moreover, it contains novel optimizations of specialized constructions for complementing (i) inherently weak automata and (ii) semi-deterministic automata, all delivered in a robust tool. The optimizations significantly improve the usability of Ranker, as shown in an extensive experimental evaluation with real-world benchmarks, where Ranker produced in the majority of cases a strictly smaller complement than other state-of-the-art tools.

Název v anglickém jazyce

Complementing Büchi Automata with Ranker

Popis výsledku anglicky

We present the tool Ranker for complementing Büchi automata (BAs). Ranker builds on our previous optimizations of rank-based BA complementation and pushes them even further using numerous heuristics to produce even smaller automata. Moreover, it contains novel optimizations of specialized constructions for complementing (i) inherently weak automata and (ii) semi-deterministic automata, all delivered in a robust tool. The optimizations significantly improve the usability of Ranker, as shown in an extensive experimental evaluation with real-world benchmarks, where Ranker produced in the majority of cases a strictly smaller complement than other state-of-the-art tools.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 34th International Conference on Computer Aided Verification

ISBN

978-3-031-13187-5

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

14

Strana od-do

188-201

Název nakladatele

Springer Verlag

Místo vydání

Haifa

Místo konání akce

Haifa

Datum konání akce

7. 8. 2022

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000870310500010