1 citations · 1 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Kofola 1.0: A Modular Approach to ω-Regular Complementation and Inclusion Checking (Technical Report)
Ondrej Alexaj, Vojtěch Havlena, Lukáš Holík +3
We present Kofola, an efficient tool for complementation and inclusion checking of Büchi automata, two central tasks in automata-theoretic verification with applications in model c…
cs.LO2024
Strategic Dominance: A New Preorder for Nondeterministic Processes
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
We study the following refinement relation between nondeterministic state-transition models: model B strategically dominates model A iff every deterministic refinement of A is lang…