Approximate bisimulation minimisation

Approximate bisimulation minimisation

We propose polynomial-time algorithms to minimise labelled Markov chains whose transition probabilities are not known exactly, have been perturbed, or can only be obtained by sampling. Our algorithms are based on a new notion of an approximate bisimulation quotient, obtained by lumping together stat...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kiefer, S, Tang, Q
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Schloss Dagstuhl 2021

Míreanna comhchosúla

Approximating Bisimulation in One-counter Nets
de réir: V. A. Bashkin
Foilsithe / Cruthaithe: (2011-12-01)

Compositionality of Approximate Bisimulation for Probabilistic Systems
de réir: Daniel Gebler, et al.
Foilsithe / Cruthaithe: (2013-07-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
de réir: Massimo Bartoletti, et al.
Foilsithe / Cruthaithe: (2023-03-01)

Minimising the probabilistic bisimilarity distance
de réir: Kiefer, S, et al.
Foilsithe / Cruthaithe: (2024)

Bisimulation learning
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2024)

Polyprograms and Polyprogram Bisimulation
de réir: Sergei Grechanik
Foilsithe / Cruthaithe: (2018-10-01)

Games for Bisimulations and Abstraction
de réir: David De Frutos Escrig, et al.
Foilsithe / Cruthaithe: (2017-11-01)

Relating Apartness and Bisimulation
de réir: Herman Geuvers, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Bisimulation and refinement reconciled
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2003)

Computing maximal bisimulations
de réir: Bougakov, A, et al.
Foilsithe / Cruthaithe: (2014)

Lowerbounds for Bisimulation by Partition Refinement
de réir: Jan Friso Groote, et al.
Foilsithe / Cruthaithe: (2023-05-01)

Nash Equilibrium and Bisimulation Invariance
de réir: Julian Gutierrez, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Relating coalgebraic notions of bisimulation
de réir: Sam Staton
Foilsithe / Cruthaithe: (2011-03-01)

Bisimulations for Delimited-Control Operators
de réir: Dariusz Biernacki, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Words and bisimulations of dynamical systems
de réir: Thomas Brihaye
Foilsithe / Cruthaithe: (2007-01-01)

Words and bisimulations of dynamical systems
de réir: Thomas Brihaye
Foilsithe / Cruthaithe: (2007-05-01)

Logical Characterization of Bisimulation Metrics
de réir: Valentina Castiglioni, et al.
Foilsithe / Cruthaithe: (2016-10-01)

Coherent branching feature bisimulation
de réir: Tessa Belder, et al.
Foilsithe / Cruthaithe: (2015-04-01)

Bisimulation for component-based development
de réir: Elsa Clara Estévez, et al.
Foilsithe / Cruthaithe: (2002-05-01)

Bisimulation in Inquisitive Modal Logic
de réir: Ivano Ciardelli, et al.
Foilsithe / Cruthaithe: (2017-07-01)

A Domain Equation for Bisimulation
de réir: Abramsky, S
Foilsithe / Cruthaithe: (1991)

Nash equilibrium and bisimulation invariance
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Nash equilibrium and bisimulation invariance
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Cost Preserving Bisimulations for Probabilistic Automata
de réir: Andrea Turrini, et al.
Foilsithe / Cruthaithe: (2014-12-01)

The Complexity of Bisimulation and Simulation on Finite Systems
de réir: Moses Ganardi, et al.
Foilsithe / Cruthaithe: (2018-10-01)

A Definition Scheme for Quantitative Bisimulation
de réir: Diego Latella, et al.
Foilsithe / Cruthaithe: (2015-09-01)

An Efficient Algorithm to Determine Probabilistic Bisimulation
de réir: Jan Friso Groote, et al.
Foilsithe / Cruthaithe: (2018-09-01)

Computing maximal weak and other bisimulations
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2015)

Minimisation of multiplicity tree automata
de réir: Worrell, J, et al.
Foilsithe / Cruthaithe: (2017)

Minimisation of Multiplicity Tree Automata
de réir: Stefan Kiefer, et al.
Foilsithe / Cruthaithe: (2017-03-01)

Logics and bisimulation games for concurrency, causality and conflict
de réir: Gutierrez, J
Foilsithe / Cruthaithe: (2009)

Branchwise-real trees and bisimulations of potentialist systems
de réir: Adam-Day, S
Foilsithe / Cruthaithe: (2023)

Coalgebraic Weak Bisimulation for Action-Type Systems
de réir: A. Sokolova, et al.
Foilsithe / Cruthaithe: (2009-12-01)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata
de réir: Lei Song, et al.
Foilsithe / Cruthaithe: (2013-06-01)

Coalgebras for Bisimulation of Weighted Automata over Semirings
de réir: Purandar Bhaduri
Foilsithe / Cruthaithe: (2023-01-01)

On Context Bisimulation for Parameterized Higher-order Processes
de réir: Xian Xu
Foilsithe / Cruthaithe: (2013-10-01)

Distributed Branching Bisimulation Minimization by Inductive Signatures
de réir: Stefan Blom, et al.
Foilsithe / Cruthaithe: (2009-12-01)

Syntactic markovian bisimulation for chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Recurrent graph neural networks and their connections to bisimulation and logic
de réir: Pflueger, M, et al.
Foilsithe / Cruthaithe: (2024)

A Strong Bisimulation for a Classical Term Calculus
de réir: Eduardo Bonelli, et al.
Foilsithe / Cruthaithe: (2024-04-01)