Buchumschlag

Programming and Reasoning in Partially Observable Probabilistic Environments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gürtler, Tobias, Kaminski, Benjamin Lucien
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

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
von: Gürtler, Tobias, et al.
Veröffentlicht: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

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

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
von: Verscht, Lena, et al.
Veröffentlicht: (2024)

Forward and Backward Simulations for Partially Observable Probability
von: Chen, Chris, et al.
Veröffentlicht: (2025)

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

The Algebra of Iterative Constructions
von: Batz, Kevin, et al.
Veröffentlicht: (2026)

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

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

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
von: Ibeling, Duligur, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Many-Valued Modal Logic
von: Karniel, Amir, et al.
Veröffentlicht: (2024)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
von: Genco, Francesco A., et al.
Veröffentlicht: (2023)

Model Checking Temporal Properties of Recursive Probabilistic Programs
von: Winkler, Tobias, et al.
Veröffentlicht: (2021)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

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

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
von: Barbarossa, Davide, et al.
Veröffentlicht: (2025)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
von: Leneutre, Jean, et al.
Veröffentlicht: (2024)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
von: Zhang, Linpeng, et al.
Veröffentlicht: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
von: Kura, Satoshi, et al.
Veröffentlicht: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

Multi-Environment MDPs with Prior and Universal Semantics
von: Bordais, Benjamin, et al.
Veröffentlicht: (2026)

Reasoning about Medical Triage Optimization with Logic Programming
von: Patil, Jaikrishna Manojkumar, et al.
Veröffentlicht: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
von: Jacobs, Bart, et al.
Veröffentlicht: (2023)

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
von: Bao, Jialu, et al.
Veröffentlicht: (2024)

Reasoning about Quality in Hyperproperties
von: Graepler, Samuel, et al.
Veröffentlicht: (2025)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)