Bisimulation Metrics for Weighted Automata
From MaRDI portal
Publication:5111435
DOI10.4230/LIPIcs.ICALP.2017.103zbMath1442.68080OpenAlexW2593702163MaRDI QIDQ5111435
Pascale Gourdeau, Borja Balle, Prakash Panangaden
Publication date: 27 May 2020
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2017/7395/pdf/LIPIcs-ICALP-2017-103.pdf/
Related Items (4)
Singular value automata and approximate minimization ⋮ Weighted Automata over Vector Spaces ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication: Bisimulation Metrics for Weighted Automata