Buchumschlag

Forward and Backward Simulations for Partially Observable Probability

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Chris, McIver, Annabelle, Morgan, Carroll
Format:	Preprint
Veröffentlicht:	2025
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

Source-level reasoning for quantitative information flow
von: Chen, Chris, et al.
Veröffentlicht: (2024)

Programming and Reasoning in Partially Observable Probabilistic Environments
von: Gürtler, Tobias, et al.
Veröffentlicht: (2025)

On-the-fly LTLf Synthesis under Partial Observability
von: Alon, Nadav, et al.
Veröffentlicht: (2026)

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

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
von: Bernardo, Marco, et al.
Veröffentlicht: (2025)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
von: Bernardo, Marco, et al.
Veröffentlicht: (2024)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

Partial Redundancy in Saturation
von: Hajdu, Márton, et al.
Veröffentlicht: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
von: Češka, Milan, et al.
Veröffentlicht: (2026)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Revisiting Stateful Partial-Order Reduction
von: Herbreteau, Frédéric, et al.
Veröffentlicht: (2024)

Partial Quantifier Elimination By Certificate Clauses
von: Goldberg, Eugene
Veröffentlicht: (2020)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

From Partial to Monadic: Combinatory Algebra with Effects
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

Disjoint Partial Enumeration without Blocking Clauses
von: Spallitta, Giuseppe, et al.
Veröffentlicht: (2023)

Translating Workflow Nets into the Partially Ordered Workflow Language
von: Kourani, Humam, et al.
Veröffentlicht: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
von: Bruse, Florian, et al.
Veröffentlicht: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
von: Goldberg, Eugene
Veröffentlicht: (2024)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Bean: A Language for Backward Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2025)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
von: Bonakdarpour, Borzoo, et al.
Veröffentlicht: (2024)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
von: Aoto, Takahito, et al.
Veröffentlicht: (2026)

Uniform Preorders and Partial Combinatory Algebras
von: Frey, Jonas
Veröffentlicht: (2024)

Logics for Contravariant Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

Optimal Planning for Timed Partial Order Specifications
von: Watanabe, Kandai, et al.
Veröffentlicht: (2024)

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
von: Sidrane, Chelsea, et al.
Veröffentlicht: (2025)

Relators and Notions of Simulation Revisited
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
von: Glomsrud, Jon Arne, et al.
Veröffentlicht: (2024)

Partial Incorrectness Logic
von: Verscht, Lena, et al.
Veröffentlicht: (2025)