collaborators

1 paper

cs.FL2022

FORQ-based Language Inclusion Formal Testing

Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi

We propose a novel algorithm to decide the language inclusion between (nondeterministic) Büchi automata, a PSPACE-complete problem. Our approach, like others before, leverage a not…