Weighted Transducers for Robustness Verification.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi

Browse the full CONCUR paper archive.