Bisimulation metrics for weighted automata

B Balle, P Gourdeau, P Panangaden - arXiv preprint arXiv:1702.08017, 2017 - arxiv.org
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
被引用次数：21 相关文章
[PDF] rwth-aachen.de

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - dagstuhl.sunsite.rwth-aachen.de
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …

Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - arXiv e-prints, 2017 - ui.adsabs.harvard.edu
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …

Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau… - … Colloquium on Automata …, 2017 - drops.dagstuhl.de
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] github.io

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - pascalegourdeau.github.io
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] archive.org

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - scholar.archive.org
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] mcgill.ca

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - cs.mcgill.ca
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] core.ac.uk

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - core.ac.uk
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] emis.de

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - cs.emis.de
We develop a new bisimulation (pseudo) metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on …
[PDF] github.io

[PDF][PDF] Bisimulation Metrics for Weighted Automata

B Balle, P Gourdeau, P Panangaden - pascalegourdeau.github.io
Bisimulation Metrics for Weighted Automata Page 1 Bisimulation Metrics for Weighted
Automata B. Balle1,∗, P. Gourdeau2 and P. Panangaden2 1Amazon, Cambridge (UK) ∗(work …