Modular Mix-and-Match Complementation of Bchi Automata.

Vojtech Havlena, Ondrej Lengl, Yong Li, Barbora Smahlkov, Andrea Turrini

Browse the full TACAS paper archive.