Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun: Logical characterization of weighted pebble walking automata. CSL-LICS 2014: 19:1-19:10