Image de couverture de livre

Testing Uniform Random Samplers: Methods, Datasets and Protocols

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zeyen, Olivier, Cordy, Maxime, Gubri, Martin, Perrouin, Gilles, Acher, Mathieu
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Uniform interpolation with constructive diamond
par: van der Giessen, Iris, et autres
Publié: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
par: Férée, Hugo, et autres
Publié: (2026)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
par: Sarkar, Uddalok, et autres
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
par: de Medeiros, Markus, et autres
Publié: (2026)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
par: Bogaerts, Bart, et autres
Publié: (2022)

Impact and Performance of Randomized Test-Generation using Prolog
par: Gelderie, Marcus, et autres
Publié: (2025)

A linear proof language for second-order intuitionistic linear logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2023)

A quantitative probabilistic relational Hoare logic
par: Avanzini, Martin, et autres
Publié: (2024)

Uniform Agent-interpolation of Distributed Knowledge
par: Su, Youan
Publié: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
par: Sofronie-Stokkermans, Viorica
Publié: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
par: Wang, Kexu, et autres
Publié: (2026)

Synthesising Full-Information Protocols
par: Berwanger, Dietmar, et autres
Publié: (2023)

Temporal Hyperproperties for Population Protocols
par: Waldburger, Nicolas, et autres
Publié: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

A new introduction rule for disjunction
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
par: Dowek, Gilles, et autres
Publié: (2023)

A linear linear lambda-calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2022)

Synthesis for prefix first-order logic on data words
par: Grange, Julien, et autres
Publié: (2024)

Wadge degrees of $Δ^0_2$ omega-powers
par: Finkel, Olivier, et autres
Publié: (2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Towards Uniform Certification in QBF
par: Chew, Leroy, et autres
Publié: (2022)

Parameterized complexity of n-dense modal logics
par: Gasquet, Olivier
Publié: (2026)

Wait-Only Broadcast Protocols are Easier to Verify
par: Guillou, Lucie, et autres
Publié: (2025)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
par: Egolf, Derek, et autres
Publié: (2024)

Uniformity within Parameterized Circuit Classes
par: Hegeman, Steef, et autres
Publié: (2025)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
par: Blanc, Manon, et autres
Publié: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
par: Blanc, Manon, et autres
Publié: (2023)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
par: Fiuk, Oskar, et autres
Publié: (2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
par: Egolf, Derek, et autres
Publié: (2025)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
par: Bunch, Carter, et autres
Publié: (2024)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
par: Balasubramanian, A. R., et autres
Publié: (2020)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

Common Knowledge, Sailboats, and Publicity
par: Bozdag, Sena, et autres
Publié: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
par: Wałęga, Przemysław Andrzej, et autres
Publié: (2026)

A Zone-Based Algorithm for Timed Parity Games
par: Geeraerts, Gilles, et autres
Publié: (2025)

On Small Types in Univalent Foundations
par: de Jong, Tom, et autres
Publié: (2021)

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
par: Sojakova, Kristina, et autres
Publié: (2025)