Buchumschlag

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	de Amorim, Pedro H. Azevedo, Kori, Mayuko, Muroya, Koko
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
von: Kori, Mayuko
Veröffentlicht: (2026)

A No-go Theorem for Coalgebraic Product Construction
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
von: Kori, Mayuko, et al.
Veröffentlicht: (2026)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
von: de Frutos-Escrig, David, et al.
Veröffentlicht: (2024)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

Branching Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2025)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Coalgebraic Path Constraints
von: Schmid, Todd
Veröffentlicht: (2026)

Coalgebraic Behavioral Metrics
von: Baldan, Paolo, et al.
Veröffentlicht: (2017)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Bisimulation Learning
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Better Bounded Bisimulation Contractions (Preprint)
von: Bolander, Thomas, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

A Strong Bisimulation for a Classical Term Calculus
von: Bonelli, Eduardo, et al.
Veröffentlicht: (2021)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Aczel-Mendler Bisimulations in a Regular Category
von: Dubut, Jeremy
Veröffentlicht: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

Well-Founded Coalgebras Meet König's Lemma
von: Urbat, Henning, et al.
Veröffentlicht: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
von: Suilen, Marnix, et al.
Veröffentlicht: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2025)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

Intrinsically Correct Algorithms and Recursive Coalgebras
von: Alexandru, Cass, et al.
Veröffentlicht: (2025)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Efficient Coalgebraic Partition Refinement
von: Dorsch, Ulrich, et al.
Veröffentlicht: (2017)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
von: Kettmann, Pascal, et al.
Veröffentlicht: (2025)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
von: Salhi, Yakoub
Veröffentlicht: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
von: Bargmann, Lara, et al.
Veröffentlicht: (2026)