English
Related papers

Related papers: Proof of Sampling: A Nash Equilibrium-Based Verifi…

200 papers

We address the generalized Nash equilibrium seeking problem for a population of agents playing aggregative games with affine coupling constraints. We focus on semi-decentralized communication architectures, where there is a central…

Optimization and Control · Mathematics 2022-06-16 Giuseppe Belgioioso , Sergio Grammatico

This paper proposes using a method named Double Score Matching (DSM) to do mass-imputation and presents an application to make inferences with a nonprobability sample. DSM is a $k$-Nearest Neighbors algorithm that uses two balance scores…

Methodology · Statistics 2021-10-19 Ali Furkan Kalay

In this paper, we propose a novel probabilistic self-supervised learning via Scoring Rule Minimization (ProSMIN), which leverages the power of probabilistic models to enhance representation quality and mitigate collapsing representations.…

Machine Learning · Computer Science 2023-09-06 Amirhossein Vahidi , Simon Schoßer , Lisa Wimmer , Yawei Li , Bernd Bischl , Eyke Hüllermeier , Mina Rezaei

Concurrent stochastic games (CSGs) are an ideal formalism for modelling probabilistic systems that feature multiple players or components with distinct objectives making concurrent, rational decisions. Examples include communication or…

Logic in Computer Science · Computer Science 2020-07-27 Marta Kwiatkowska , Gethin Norman , David Parker , Gabriel Santos

In socio-technical multi-agent systems, deception exploits privileged information to induce false beliefs in "victims," keeping them oblivious and leading to outcomes detrimental to them or advantageous to the deceiver. We consider…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Michael Tang , Umar Javed , Xudong Chen , Miroslav Krstic , Jorge I. Poveda

This paper proposes a differentially private energy trading mechanism for prosumers in peer-to-peer (P2P) markets, offering provable privacy guarantees while approaching the Nash equilibrium with nearly socially optimal efficiency. We first…

Computer Science and Game Theory · Computer Science 2024-10-22 Yuji Cao , Yue Chen

In stochastic Nash equilibrium problems (SNEPs), it is natural for players to be uncertain about their complex environments and have multi-dimensional unknown parameters in their models. Among various SNEPs, this paper focuses on locally…

Optimization and Control · Mathematics 2022-04-06 Yuanhanqing Huang , Jianghai Hu

We study decentralized cryptocurrency protocols in which the participants do not deplete physical scarce resources. Such protocols commonly rely on Proof of Stake, i.e., on mechanisms that extend voting power to the stakeholders of the…

Cryptography and Security · Computer Science 2017-01-12 Iddo Bentov , Ariel Gabizon , Alex Mizrahi

Although proof of work (PoW) consensus dominates the current blockchain-based systems mostly, it has always been criticized for the uneconomic brute-force calculation. As alternatives, energy-conservation and energy-recycling mechanisms…

Cryptography and Security · Computer Science 2022-11-03 Shengling Wang , Lina Shi , Hongwei Shi , Yifang Zhang , Qin Hu , Xiuzhen Cheng

Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanism, has been extensively studied, including its integration…

Cryptography and Security · Computer Science 2025-08-29 Kangfeng Ye , Roberto Metere , Jim Woodcock , Poonam Yadav

We present STAMP (Selective Task-Aware Mechanism for Text Privacy), a new framework for task-aware text privatization that achieves an improved privacy-utility trade-off. STAMP selectively allocates privacy budgets across tokens by jointly…

Machine Learning · Computer Science 2026-03-13 Fengwei Tian , Payel Bhattacharjee , Heidi Hanson , Geoffrey D. Rubin , Joseph Y. Lo , Ravi Tandon

Decentralized partially observable Markov decision processes (Dec-POMDPs) formalize the problem of designing individual controllers for a group of collaborative agents under stochastic dynamics and partial observability. Seeking a global…

Artificial Intelligence · Computer Science 2023-05-22 Yang You , Vincent Thomas , Francis Colas , Olivier Buffet

This paper introduces a new method to achieve stable convergence to Nash equilibrium in duopoly noncooperative games. Inspired by the recent fixed-time Nash Equilibrium seeking (NES) as well as prescribed-time extremum seeking (ES) and…

Optimization and Control · Mathematics 2024-05-27 Victor Hugo Pereira Rodrigues , Tiago Roux Oliveira , Miroslav Krstić , Tamer Başar

Decentralized data-feed systems enable blockchain-based smart contracts to access off-chain information by aggregating values from multiple oracles. To improve accuracy, these systems typically use an aggregation function, such as majority…

Computer Science and Game Theory · Computer Science 2025-09-16 Sina Aeeneh , Nikola Zlatanov , Jiangshan Yu

Nearest neighbor (NN) sampling provides more semantic variations than pre-defined transformations for self-supervised learning (SSL) based image recognition problems. However, its performance is restricted by the quality of the support set,…

Computer Vision and Pattern Recognition · Computer Science 2023-08-15 Momojit Biswas , Himanshu Buckchash , Dilip K. Prasad

The intrinsic non-locality of correlations in Quantum Mechanics allow us to certify the behaviour of a quantum mechanism in a device independent way. In particular, we present a new protocol that allows an unbounded amount of randomness to…

Quantum Physics · Physics 2018-08-01 Brian Coyle , Matty J. Hoban , Elham Kashefi

This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints.…

Computer Science and Game Theory · Computer Science 2012-02-22 Peter Bulychev , Alexandre David , Kim G. Larsen , Axel Legay , Marius Mikučionis

In this paper, we address the challenge of Nash equilibrium (NE) seeking in non-cooperative convex games with partial-decision information. We propose a distributed algorithm, where each agent refines its strategy through projected-gradient…

Computer Science and Game Theory · Computer Science 2023-09-15 Duong Thuy Anh Nguyen , Mattia Bianchi , Florian Dörfler , Duong Tung Nguyen , Angelia Nedić

We consider a distributed stochastic approximation (SA) scheme for computing an equilibrium of a stochastic Nash game. Standard SA schemes employ diminishing steplength sequences that are square summable but not summable. Such requirements…

Optimization and Control · Mathematics 2013-03-20 Farzad Yousefian , Angelia Nedich , Uday V. Shanbhag

Existing research on federated learning has been focused on the setting where learning is coordinated by a centralized entity. Yet the greatest potential of future collaborative intelligence would be unleashed in a more open and…

Cryptography and Security · Computer Science 2025-10-07 Huiwen Liu , Feida Zhu , Ling Cheng
‹ Prev 1 3 4 5 6 7 10 Next ›