Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization-Reference-Cited by-同舟云学术

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

Published:2020 Issue: Volume: Page:15-27
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Blahoudek František^ORCID,Duret-Lutz Alexandre^ORCID,Strejček Jan^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_2

Reference30 articles.

1. Allred, J.D., Ultes-Nitsche, U.: A simple and optimal complementation algorithm for Büchi automata. In: LICS 2018, pp. 46–55. ACM (2018)

2. Lecture Notes in Computer Science;T Babiak,2013

3. Blahoudek, F.: Automata for formal methods: little steps towards perfection. PhD thesis, Masaryk University, Brno, Czech Republic (2018)

4. Lecture Notes in Computer Science;F Blahoudek,2016

5. Blahoudek, F., Duret-Lutz, A., Klokočka, M., Křetínský, M., Streček, J.: Seminator: a tool for semi-determinization of omega-automata. In: LPAR 2017, vol. 46 of EPiC Series in Computing, pp. 356–367. EasyChair (2017). https://easychair.org/publications/paper/340360

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Dependent Variables in Reactive Synthesis;Lecture Notes in Computer Science;2024

2. Modular Mix-and-Match Complementation of Büchi Automata;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata;Innovations in Systems and Software Engineering;2022-04-09

4. Complementing Büchi Automata with Ranker;Computer Aided Verification;2022

5. Sky Is Not the Limit;Tools and Algorithms for the Construction and Analysis of Systems;2022