:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Jacobs, Bart
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Probability
Online Access:	https://arxiv.org/abs/2405.18182
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
by: Mertens, Hannah, et al.
Published: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
by: Mertens, Hannah, et al.
Published: (2025)

First order complexity of finite random structures
by: Demin, Danila, et al.
Published: (2024)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
by: Fasse, Justus, et al.
Published: (2023)

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

Memoryless Strategies in Stochastic Reachability Games
by: Kiefer, Stefan, et al.
Published: (2024)

A Categorical Treatment of Open Linear Systems
by: Stein, Dario, et al.
Published: (2024)

Algorithmic Randomness in Continuous-Time Markov Chains
by: Huang, Xiang, et al.
Published: (2019)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Compositional Inference for Bayesian Networks and Causality
by: Jacobs, Bart, et al.
Published: (2025)

A Simple Formal Language for Probabilistic Decision Problems
by: Di Lavore, Elena, et al.
Published: (2024)

Element-Free Probability Distributions and Random Partitions
by: Blanchi, Victor, et al.
Published: (2024)

The Aldous$\unicode{x2013}$Hoover Theorem in Categorical Probability
by: Chen, Leihao, et al.
Published: (2024)

Compositional imprecise probability
by: Liell-Cock, Jack, et al.
Published: (2024)

Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
by: Fritz, Tobias, et al.
Published: (2025)

Behavioural pseudometrics for continuous-time diffusions
by: Chen, Linan, et al.
Published: (2023)

Central Limits via Dilated Categories
by: Basold, Henning, et al.
Published: (2026)

Bisimulation for Feller-Dynkin Processes
by: Chen, Linan, et al.
Published: (2019)

Simulation of Random LR Fuzzy Intervals
by: Romaniuk, Maciej, et al.
Published: (2025)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)

Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis
by: Randour, Mickael
Published: (2025)

A study of the Antlion Random Walk
by: Narimatsu, Akihiro, et al.
Published: (2025)

A Unifying Framework for Global Optimization: From Theory to Formalization
by: Serré, Gaëtan, et al.
Published: (2025)

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
by: Jacobs, Bart
Published: (2024)

Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs
by: Ajdarów, Michal, et al.
Published: (2025)

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies
by: Main, James C. A., et al.
Published: (2025)

Separating complexity classes of LCL problems on grids
by: Berlow, Katalin, et al.
Published: (2025)

k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
by: Hliněný, Petr, et al.
Published: (2025)

Parametric disjunctive timed networks
by: André, Étienne, et al.
Published: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

The Temporal Logic Synthesis Format TLSF v1.2
by: Jacobs, Swen, et al.
Published: (2023)

Absolute continuity, supports and idempotent splitting in categorical probability
by: Fritz, Tobias, et al.
Published: (2023)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

$ε$-Distance via Lévy-Prokhorov Lifting
by: Desharnais, Josée, et al.
Published: (2025)