scientific article; zbMATH DE number 7559497
From MaRDI portal
Publication:5089308
DOI10.4230/LIPIcs.CONCUR.2020.41MaRDI QIDQ5089308
Andrzej S. Murawski, David Purser, Stefan Kiefer, Dmitry Chistikov
Publication date: 18 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Verifying Pufferfish privacy in hidden Markov models ⋮ Model checking differentially private properties ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The influence of the marked reduced graph of a nonnegative matrix on the Jordan form and on related properties: a survey
- On path equivalence of nondeterministic finite automata
- Positive root isolation for poly-powers by exclusion and differentiation
- What’s Decidable about Weighted Automata?
- Generalized Bisimulation Metrics
- On the definition of a family of automata
- FINDING THE GROWTH RATE OF A REGULAR OR CONTEXT-FREE LANGUAGE IN POLYNOMIAL TIME
- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
- The Growth of Powers of a Nonnegative Matrix
- A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- On the total variation distance of labelled Markov chains
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- O-Minimal Invariants for Discrete-Time Dynamical Systems
- On Computing the Total Variation Distance of Hidden Markov Models.
- Markov Chains
- Positivity Problems for Low-Order Linear Recurrence Sequences
- Unambiguity in Automata Theory
- Bounded Algol-Like Languages
- On Context-Free Languages
- Asymmetric Distances for Approximate Differential Privacy
- Theory of Cryptography
- Algorithms in real algebraic geometry
This page was built for publication:
