Logical characterization of weighted pebble walking automata.

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun

Browse the full CSL paper archive.