Cover Image

A Unifying Approach to Probabilistic Testing Equivalences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Weijun, Fu, Yuxi, Long, Huan, Wu, Hao
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Analyzing Divergence for Nondeterministic Probabilistic Models
by: Wu, Hao, et al.
Published: (2024)

Improving Reachability in Vector Addition Systems through Pumpability
by: Chen, Weijun, et al.
Published: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

A Unifying Categorical View of Nondeterministic Iteration and Tests
by: Goncharov, Sergey, et al.
Published: (2024)

Model Checking Logical Actions in Magic Tricks
by: Zhu, Weijun
Published: (2024)

Fuzzy Implicative Rules: A Unified Approach
by: Fernandez-Peralta, Raquel
Published: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems
by: Xue, Chengfeng, et al.
Published: (2026)

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

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

A Nominal Approach to Probabilistic Separation Logic
by: Li, John M., et al.
Published: (2024)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound Verification
by: Kura, Satoshi, et al.
Published: (2025)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)

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

Towards Term-based Verification of Diagrammatic Equivalence
by: Cailler, Julie, et al.
Published: (2026)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
by: Bizzaro, Davide, et al.
Published: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
by: Pertseva, Elizaveta, et al.
Published: (2026)

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

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

Knowledge Reasoning Involving Four Types of Syllogisms
by: Wei, Long, et al.
Published: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
by: Vehlken, Fabian, et al.
Published: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
by: Charalambidis, Angelos, et al.
Published: (2026)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
by: Hirvonen, Minna
Published: (2023)

Distributional Probabilistic Model Checking
by: Elsayed-Aly, Ingy, et al.
Published: (2023)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
by: Pontiggia, Francesco, et al.
Published: (2025)

Interaction Equivalence
by: Accattoli, Beniamino, et al.
Published: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
by: Takahata, Kanta, et al.
Published: (2025)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)

Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words
by: Piórkowski, Radosław
Published: (2026)

Probabilistic Model Checking: Applications and Trends
by: Kwiatkowska, Marta, et al.
Published: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
by: Mertens, Hannah, et al.
Published: (2026)

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

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

Probabilistic Strategies: Definability and the Tensor Completeness Problem
by: Bowler, Nathan, et al.
Published: (2025)

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

Probabilistic Abduction in a Fuzzy Logic Framework
by: Flaminio, Tommaso, et al.
Published: (2026)

Evidence-Tracked Tape Semantics for Probabilistic Computation
by: Cohen, Liron, et al.
Published: (2026)

PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)