:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Gürtler, Tobias, Kaminski, Benjamin Lucien
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2602.20049
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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)
por: Batz, Kevin, et al.
Publicado: (2024)

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

Partial Incorrectness Logic
por: Verscht, Lena, et al.
Publicado: (2025)

A Hierarchy of Nondeterminism
por: Radi, Bader Abu, et al.
Publicado: (2022)

Resolving Nondeterminism with Randomness
por: Henzinger, Thomas A., et al.
Publicado: (2025)

A Demonic Outcome Logic for Randomized Nondeterminism
por: Zilberstein, Noam, et al.
Publicado: (2024)

The Algebra of Iterative Constructions
por: Batz, Kevin, et al.
Publicado: (2026)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
por: Ong, Shawn, et al.
Publicado: (2025)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
por: Czerwiński, Wojciech, et al.
Publicado: (2025)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
por: Azzolini, Damiano, et al.
Publicado: (2024)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
por: Guha, Shibashis, et al.
Publicado: (2021)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
por: Klinkenberg, Lutz, et al.
Publicado: (2023)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
por: Zhang, Linpeng, et al.
Publicado: (2024)

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

Model Checking Temporal Properties of Recursive Probabilistic Programs
por: Winkler, Tobias, et al.
Publicado: (2021)

To Zip Through the Cost Analysis of Probabilistic Programs
por: Hetzenberger, Matthias, et al.
Publicado: (2025)

Many-Valued Modal Logic
por: Karniel, Amir, et al.
Publicado: (2024)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
por: Lommen, Nils, et al.
Publicado: (2024)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
por: Genco, Francesco A., et al.
Publicado: (2023)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
por: Gerlach, Lina, et al.
Publicado: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
por: Piedeleu, Robin, et al.
Publicado: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
por: Wang, Shanxia
Publicado: (2026)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
por: Acclavio, Matteo, et al.
Publicado: (2026)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
por: Barbarossa, Davide, et al.
Publicado: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
por: de Medeiros, Markus, et al.
Publicado: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
por: Azzolini, Damiano, et al.
Publicado: (2025)

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

Symbolic Parameter Learning in Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
por: Jacobs, Bart, et al.
Publicado: (2023)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
por: Haselwarter, Philipp G., et al.
Publicado: (2024)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
por: Aminof, Benjamin, et al.
Publicado: (2023)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
por: Zilberstein, Noam, et al.
Publicado: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
por: Kaminski, Roland, et al.
Publicado: (2024)

Bayesian Inference in Quantum Programs
por: Gehnen, Christina, et al.
Publicado: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
por: Ibeling, Duligur, et al.
Publicado: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)