Deciding S1S: Down the Rabbit Hole and Through the Looking Glass

von Havlena, Vojtěch
Veröffentlicht in NETYS (9. : 2021 : Online) Networked Systems (2021)

Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation

von Havlena, Vojtěch
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Complementing Büchi Automata with Ranker

von Havlena, Vojtèch
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving

von Chen, Yu-Fang
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)

Modular Mix-and-Match Complementation of Büchi Automata

von Havlena, Vojtěch
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

Z3-Noodler: An Automata-based String Solver

von Chen, Yu-Fang
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 1 (2024)

Mata: A Fast and Simple Finite Automata Library

von Chocholatý, David
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)