Copertina

From Coalgebraic Determinization to Belief Construction for Partial Observability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kori, Mayuko, Watanabe, Kazuki
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A No-go Theorem for Coalgebraic Product Construction
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
di: Kori, Mayuko
Pubblicazione: (2026)

Initial Algebra Correspondence under Reachability Conditions
di: Kori, Mayuko, et al.
Pubblicazione: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
di: de Amorim, Pedro H. Azevedo, et al.
Pubblicazione: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2025)

Composing Codensity Bisimulations
di: Kori, Mayuko, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Coalgebraic Path Constraints
di: Schmid, Todd
Pubblicazione: (2026)

Coalgebraic Behavioral Metrics
di: Baldan, Paolo, et al.
Pubblicazione: (2017)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
di: Watanabe, Kazuki
Pubblicazione: (2024)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Trees in Coalgebra from Generalized Reachability
di: Wißmann, Thorsten, et al.
Pubblicazione: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
di: Gebhart, Stefan, et al.
Pubblicazione: (2025)

On-the-fly LTLf Synthesis under Partial Observability
di: Alon, Nadav, et al.
Pubblicazione: (2026)

Programming and Reasoning in Partially Observable Probabilistic Environments
di: Gürtler, Tobias, et al.
Pubblicazione: (2025)

Forward and Backward Simulations for Partially Observable Probability
di: Chen, Chris, et al.
Pubblicazione: (2025)

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

An Expressive Coalgebraic Modal Logic for Cellular Automata
di: Basold, Henning, et al.
Pubblicazione: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
di: Schoen, Ezra, et al.
Pubblicazione: (2024)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
di: Beohar, Harsh, et al.
Pubblicazione: (2023)

A Coalgebraic Model of Quantum Bisimulation
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
di: Alexandru, Cass, et al.
Pubblicazione: (2025)

Terminal Coalgebras in Countably Many Steps
di: Adámek, Jiří, et al.
Pubblicazione: (2023)

Efficient Coalgebraic Partition Refinement
di: Dorsch, Ulrich, et al.
Pubblicazione: (2017)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
di: Gallardo, Andrés, et al.
Pubblicazione: (2024)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
di: van der Vegt, Marck, et al.
Pubblicazione: (2025)

Compositional Value Iteration with Pareto Caching
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Simplicial Belief
di: Cachin, Christian, et al.
Pubblicazione: (2026)

Compositionality in Coalgebraic Trace Semantics
di: Jourde, Robin, et al.
Pubblicazione: (2026)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

From Partial to Monadic: Combinatory Algebra with Effects
di: Cohen, Liron, et al.
Pubblicazione: (2025)

On Piecewise Affine Reachability with Bellman Operators
di: Varonka, Anton, et al.
Pubblicazione: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)

Constructive Ordinal Exponentiation
di: de Jong, Tom, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

Optimal Planning for Timed Partial Order Specifications
di: Watanabe, Kandai, et al.
Pubblicazione: (2024)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)