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

書誌詳細
主要な著者:	Kiefer, S, Tang, Q
フォーマット:	Conference item
言語:	English
出版事項:	Schloss Dagstuhl 2021

類似資料

Approximating Bisimulation in One-counter Nets
著者:: V. A. Bashkin
出版事項: (2011-12-01)

Compositionality of Approximate Bisimulation for Probabilistic Systems
著者:: Daniel Gebler, 等
出版事項: (2013-07-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
著者:: Massimo Bartoletti, 等
出版事項: (2023-03-01)

Minimising the probabilistic bisimilarity distance
著者:: Kiefer, S, 等
出版事項: (2024)

Bisimulation learning
著者:: Abate, A, 等
出版事項: (2024)

Polyprograms and Polyprogram Bisimulation
著者:: Sergei Grechanik
出版事項: (2018-10-01)

Games for Bisimulations and Abstraction
著者:: David De Frutos Escrig, 等
出版事項: (2017-11-01)

Relating Apartness and Bisimulation
著者:: Herman Geuvers, 等
出版事項: (2021-07-01)

Bisimulation and refinement reconciled
著者:: Roscoe, A, 等
出版事項: (2003)

Computing maximal bisimulations
著者:: Bougakov, A, 等
出版事項: (2014)

Lowerbounds for Bisimulation by Partition Refinement
著者:: Jan Friso Groote, 等
出版事項: (2023-05-01)

Nash Equilibrium and Bisimulation Invariance
著者:: Julian Gutierrez, 等
出版事項: (2019-09-01)

Relating coalgebraic notions of bisimulation
著者:: Sam Staton
出版事項: (2011-03-01)

Bisimulations for Delimited-Control Operators
著者:: Dariusz Biernacki, 等
出版事項: (2019-05-01)

Words and bisimulations of dynamical systems
著者:: Thomas Brihaye
出版事項: (2007-01-01)

Words and bisimulations of dynamical systems
著者:: Thomas Brihaye
出版事項: (2007-05-01)

Logical Characterization of Bisimulation Metrics
著者:: Valentina Castiglioni, 等
出版事項: (2016-10-01)

Coherent branching feature bisimulation
著者:: Tessa Belder, 等
出版事項: (2015-04-01)

Bisimulation for component-based development
著者:: Elsa Clara Estévez, 等
出版事項: (2002-05-01)

Bisimulation in Inquisitive Modal Logic
著者:: Ivano Ciardelli, 等
出版事項: (2017-07-01)

A Domain Equation for Bisimulation
著者:: Abramsky, S
出版事項: (1991)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2017)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2019)

Cost Preserving Bisimulations for Probabilistic Automata
著者:: Andrea Turrini, 等
出版事項: (2014-12-01)

The Complexity of Bisimulation and Simulation on Finite Systems
著者:: Moses Ganardi, 等
出版事項: (2018-10-01)

A Definition Scheme for Quantitative Bisimulation
著者:: Diego Latella, 等
出版事項: (2015-09-01)

An Efficient Algorithm to Determine Probabilistic Bisimulation
著者:: Jan Friso Groote, 等
出版事項: (2018-09-01)

Computing maximal weak and other bisimulations
著者:: Roscoe, A, 等
出版事項: (2015)

Minimisation of multiplicity tree automata
著者:: Worrell, J, 等
出版事項: (2017)

Minimisation of Multiplicity Tree Automata
著者:: Stefan Kiefer, 等
出版事項: (2017-03-01)

Logics and bisimulation games for concurrency, causality and conflict
著者:: Gutierrez, J
出版事項: (2009)

Branchwise-real trees and bisimulations of potentialist systems
著者:: Adam-Day, S
出版事項: (2023)

Coalgebraic Weak Bisimulation for Action-Type Systems
著者:: A. Sokolova, 等
出版事項: (2009-12-01)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata
著者:: Lei Song, 等
出版事項: (2013-06-01)

Coalgebras for Bisimulation of Weighted Automata over Semirings
著者:: Purandar Bhaduri
出版事項: (2023-01-01)

On Context Bisimulation for Parameterized Higher-order Processes
著者:: Xian Xu
出版事項: (2013-10-01)

Distributed Branching Bisimulation Minimization by Inductive Signatures
著者:: Stefan Blom, 等
出版事項: (2009-12-01)

Syntactic markovian bisimulation for chemical reaction networks
著者:: Cardelli, L, 等
出版事項: (2017)

Recurrent graph neural networks and their connections to bisimulation and logic
著者:: Pflueger, M, 等
出版事項: (2024)

A Strong Bisimulation for a Classical Term Calculus
著者:: Eduardo Bonelli, 等
出版事項: (2024-04-01)