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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Kiefer, S, Tang, Q
Fformat:	Conference item
Iaith:	English
Cyhoeddwyd:	Schloss Dagstuhl 2021

Eitemau Tebyg

Approximating Bisimulation in One-counter Nets
gan: V. A. Bashkin
Cyhoeddwyd: (2011-12-01)

Compositionality of Approximate Bisimulation for Probabilistic Systems
gan: Daniel Gebler, et al.
Cyhoeddwyd: (2013-07-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
gan: Massimo Bartoletti, et al.
Cyhoeddwyd: (2023-03-01)

Minimising the probabilistic bisimilarity distance
gan: Kiefer, S, et al.
Cyhoeddwyd: (2024)

Bisimulation learning
gan: Abate, A, et al.
Cyhoeddwyd: (2024)

Polyprograms and Polyprogram Bisimulation
gan: Sergei Grechanik
Cyhoeddwyd: (2018-10-01)

Games for Bisimulations and Abstraction
gan: David De Frutos Escrig, et al.
Cyhoeddwyd: (2017-11-01)

Relating Apartness and Bisimulation
gan: Herman Geuvers, et al.
Cyhoeddwyd: (2021-07-01)

Bisimulation and refinement reconciled
gan: Roscoe, A, et al.
Cyhoeddwyd: (2003)

Computing maximal bisimulations
gan: Bougakov, A, et al.
Cyhoeddwyd: (2014)

Lowerbounds for Bisimulation by Partition Refinement
gan: Jan Friso Groote, et al.
Cyhoeddwyd: (2023-05-01)

Nash Equilibrium and Bisimulation Invariance
gan: Julian Gutierrez, et al.
Cyhoeddwyd: (2019-09-01)

Relating coalgebraic notions of bisimulation
gan: Sam Staton
Cyhoeddwyd: (2011-03-01)

Bisimulations for Delimited-Control Operators
gan: Dariusz Biernacki, et al.
Cyhoeddwyd: (2019-05-01)

Words and bisimulations of dynamical systems
gan: Thomas Brihaye
Cyhoeddwyd: (2007-01-01)

Words and bisimulations of dynamical systems
gan: Thomas Brihaye
Cyhoeddwyd: (2007-05-01)

Logical Characterization of Bisimulation Metrics
gan: Valentina Castiglioni, et al.
Cyhoeddwyd: (2016-10-01)

Coherent branching feature bisimulation
gan: Tessa Belder, et al.
Cyhoeddwyd: (2015-04-01)

Bisimulation for component-based development
gan: Elsa Clara Estévez, et al.
Cyhoeddwyd: (2002-05-01)

Bisimulation in Inquisitive Modal Logic
gan: Ivano Ciardelli, et al.
Cyhoeddwyd: (2017-07-01)

A Domain Equation for Bisimulation
gan: Abramsky, S
Cyhoeddwyd: (1991)

Nash equilibrium and bisimulation invariance
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2017)

Nash equilibrium and bisimulation invariance
gan: Gutierrez, J, et al.
Cyhoeddwyd: (2019)

Cost Preserving Bisimulations for Probabilistic Automata
gan: Andrea Turrini, et al.
Cyhoeddwyd: (2014-12-01)

The Complexity of Bisimulation and Simulation on Finite Systems
gan: Moses Ganardi, et al.
Cyhoeddwyd: (2018-10-01)

A Definition Scheme for Quantitative Bisimulation
gan: Diego Latella, et al.
Cyhoeddwyd: (2015-09-01)

An Efficient Algorithm to Determine Probabilistic Bisimulation
gan: Jan Friso Groote, et al.
Cyhoeddwyd: (2018-09-01)

Computing maximal weak and other bisimulations
gan: Roscoe, A, et al.
Cyhoeddwyd: (2015)

Minimisation of multiplicity tree automata
gan: Worrell, J, et al.
Cyhoeddwyd: (2017)

Minimisation of Multiplicity Tree Automata
gan: Stefan Kiefer, et al.
Cyhoeddwyd: (2017-03-01)

Logics and bisimulation games for concurrency, causality and conflict
gan: Gutierrez, J
Cyhoeddwyd: (2009)

Branchwise-real trees and bisimulations of potentialist systems
gan: Adam-Day, S
Cyhoeddwyd: (2023)

Coalgebraic Weak Bisimulation for Action-Type Systems
gan: A. Sokolova, et al.
Cyhoeddwyd: (2009-12-01)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata
gan: Lei Song, et al.
Cyhoeddwyd: (2013-06-01)

Coalgebras for Bisimulation of Weighted Automata over Semirings
gan: Purandar Bhaduri
Cyhoeddwyd: (2023-01-01)

On Context Bisimulation for Parameterized Higher-order Processes
gan: Xian Xu
Cyhoeddwyd: (2013-10-01)

Distributed Branching Bisimulation Minimization by Inductive Signatures
gan: Stefan Blom, et al.
Cyhoeddwyd: (2009-12-01)

Syntactic markovian bisimulation for chemical reaction networks
gan: Cardelli, L, et al.
Cyhoeddwyd: (2017)

Recurrent graph neural networks and their connections to bisimulation and logic
gan: Pflueger, M, et al.
Cyhoeddwyd: (2024)

A Strong Bisimulation for a Classical Term Calculus
gan: Eduardo Bonelli, et al.
Cyhoeddwyd: (2024-04-01)