Buchumschlag

Formal Verification of Diffusion Auctions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Galimullin, Rustam, Mittelmann, Munyque, Perrussel, Laurent
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computer Science and Game Theory Logic in Computer Science F.4.1; I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Angels and Demons: Strategic (De)Construction of Dynamic Models
von: Catta, Davide, et al.
Veröffentlicht: (2026)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2026)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

Inquisitive Team Semantics of LTL
von: Bozzelli, Laura, et al.
Veröffentlicht: (2025)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
von: David, Robert, et al.
Veröffentlicht: (2025)

Implicit Knowledge in Unawareness Structures
von: Belardinelli, Gaia, et al.
Veröffentlicht: (2023)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
von: Tsamoura, Efthymia, et al.
Veröffentlicht: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2023)

Comparing State-Representations for DEL Model Checking
von: Behnke, Gregor, et al.
Veröffentlicht: (2025)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

Robust Verification of Concurrent Stochastic Games
von: He, Angel Y., et al.
Veröffentlicht: (2026)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Classification of Covering Spaces and Canonical Change of Basepoint
von: Wemmenhove, Jelle, et al.
Veröffentlicht: (2024)

Deontic Temporal Logic for Formal Verification of AI Ethics
von: V., Priya T., et al.
Veröffentlicht: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
von: Arndt, Dörthe, et al.
Veröffentlicht: (2025)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

TPTP World Infrastructure for Non-classical Logics
von: Steen, Alexander, et al.
Veröffentlicht: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Common $p$-Belief with Plausibility Measures: Extended Abstract
von: Pacuit, Eric, et al.
Veröffentlicht: (2025)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2026)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
von: Hellwig, Jonathan, et al.
Veröffentlicht: (2025)

Ground Stratification for a Logic of Definitions with Induction
von: Guermond, Nathan, et al.
Veröffentlicht: (2025)

A Graphical Interface for Category Theory Proofs in Coq
von: Chabassier, Luc
Veröffentlicht: (2025)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
von: Muvvala, Karan, et al.
Veröffentlicht: (2024)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
von: Klaus, Natalia, et al.
Veröffentlicht: (2026)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

Provably Correct Systems: Community, connections, and citations
von: Bowen, Jonathan P.
Veröffentlicht: (2015)