A Pattern Logic for Automata with Outputs.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin

Browse the full DLT paper archive.