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…
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…