activity
20132026
most citedSimulations and Antichains for Efficient Handling of Finite Automata

4 citations · 20 across the 28 of their papers we have counts for

collaborators
Showing 2019 · cs.LOShow all

1 paper · 2 filters

cs.LO2019

Automata Terms in a Lazy WSkS Decision Procedure (Technical Report)

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál +1

We propose a lazy decision procedure for the logic WSkS. It builds a term-based symbolic representation of the state space of the tree automaton (TA) constructed by the classical W…