Quantitative simulations by matrices (Q729815): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2182724168
@@ Property / OpenAlex ID: W2182724168 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09146
@@ Property / arXiv ID: 1810.09146 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices
+Normal rank
@@ Property / cites work @@
+Probabilistic anonymity via coalgebraic simulations
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations II: Probabilistic Simulation
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395212
@@ Property / cites work: Q4395212 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499221
@@ Property / cites work: Q4499221 / rank @@
+Normal rank
@@ Property / cites work @@
+TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES
+Normal rank
@@ Property / cites work @@
+A strongly polynomial algorithm for solving two-sided linear systems in max-algebra
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra-coalgebra duality in brzozowski's minimization algorithm
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+The equality problem for rational series with multiplicities in the tropical semiring is undecidable
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic weak simulation is decidable in polynomial time
+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 @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449542
@@ Property / cites work: Q4449542 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Q4051879
@@ Property / cites work: Q4051879 / rank @@
+Normal rank
@@ Property / cites work @@
+A new polynomial-time algorithm for linear programming
+Normal rank
@@ Property / cites work @@
+On the average number of steps of the simplex method of linear programming
+Normal rank
@@ Property / cites work @@
+Algorithmic probabilistic game semantics. Playing games with automata
+Normal rank
@@ Property / cites work @@
+A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+EQUIVALENCE OF LABELED MARKOV CHAINS
@@ Property / cites work: EQUIVALENCE OF LABELED MARKOV CHAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Probable innocence revisited
@@ Property / cites work: Probable innocence revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra
+Normal rank
@@ Property / cites work @@
+Q3069826
@@ Property / cites work: Q3069826 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics via Forgetful Logics
@@ Property / cites work: Coalgebraic Trace Semantics via Forgetful Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Perspective on Minimization and Determinization
+Normal rank
@@ Property / cites work @@
+Coalgebraic Infinite Traces and Kleisli Simulations
+Normal rank
@@ Property / cites work @@
+Nominal Kleene Coalgebra
@@ Property / cites work: Nominal Kleene Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Bisimulations for weighted automata over an additively idempotent semiring
+Normal rank
@@ Property / cites work @@
+Maximal traces and path-based coalgebraic temporal logics
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
+Normal rank
@@ Property / cites work @@
+Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
+Normal rank
@@ Property / cites work @@
+Beyond Bisimulation: The “up-to” Techniques
@@ Property / cites work: Beyond Bisimulation: The “up-to” Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction up-to in a fibrational setting
@@ Property / cites work: Coinduction up-to in a fibrational setting / rank @@
+Normal rank