Bisimulation metrics and norms for real-weighted automata (Q2064519): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2020.104649
@@ Property / DOI: 10.1016/j.ic.2020.104649 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W3109694792
@@ Property / OpenAlex ID: W3109694792 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08017
@@ Property / arXiv ID: 1702.08017 / rank @@
+Normal rank
@@ Property / cites work @@
+Spectral learning of weighted automata. A forward-backward perspective
+Normal rank
@@ Property / cites work @@
+Learning Weighted Automata
@@ Property / cites work: Learning Weighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Canonical Form for Weighted Automata and Applications to Approximate Minimization
+Normal rank
@@ Property / cites work @@
+Singular value automata and approximate minimization
+Normal rank
@@ Property / cites work @@
+On the accuracy of the ellipsoid norm approximation of the joint spectral radius
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Algebra-coalgebra duality in brzozowski's minimization algorithm
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+Sets of matrices all infinite products of which converge
+Normal rank
@@ Property / cites work @@
+Corrigendum/addendum to: Sets of matrices all infinite products of which converge
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Metrics for Continuous Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Matrices de Hankel
@@ Property / cites work: Matrices de Hankel / rank @@
+Normal rank
@@ Property / cites work @@
+Q2810805
@@ Property / cites work: Q2810805 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
+Normal rank
@@ Property / cites work @@
+Q4840531
@@ Property / cites work: Q4840531 / rank @@
+Normal rank
@@ Property / cites work @@
+A spectral algorithm for learning hidden Markov models
+Normal rank
@@ Property / cites work @@
+An explicit Lipschitz constant for the joint spectral radius
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3272731
@@ Property / cites work: Q3272731 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+The generalized spectral radius and extremal norms
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2020.104649
@@ Property / DOI: 10.1016/J.IC.2020.104649 / rank @@
+Normal rank