English
Related papers

Related papers: Non-additive Security Games

200 papers

Reflection is a critical aspect of the learning process. However, educational games tend to focus on supporting learning concepts rather than supporting reflection. While reflection occurs in educational games, the educational game design…

Human-Computer Interaction · Computer Science 2020-06-22 Jennifer Villareale , Colan F. Biemer , Magy Seif El-Nasr , Jichen Zhu

We announce misere-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misere quotients--commutative monoids that encode the additive structure of specific misere-play games. We also…

Combinatorics · Mathematics 2008-06-30 Thane E. Plambeck , Aaron N. Siegel

Blockchain gaming is an emerging entertainment paradigm. However, blockchain games are still suffering from security issues, due to the immature blockchain technologies and its unsophisticated developers. In this work, we analyzed the…

Cryptography and Security · Computer Science 2019-06-14 Tian Min , Wei Cai

The objective of this book is to give a comprehensive presentation of the research field concerned with infinite duration games on graphs. Historically, these game models appeared in the study of automata and logic, and they later became…

Serious games are simulation software designed to assist people in learning the practical concepts of various application fields such as Health, wellness, Education and Culture. People improve their individual knowledge, skills and attitude…

Human-Computer Interaction · Computer Science 2023-06-07 Shuja Ud Din , Muhammad Zeeshan Baig , Muhammad Khateeb Khan

We propose the study of mathematical ludology, which aims to formally interrogate questions of interest to game studies and game design in particular. The goal is to extend our mathematical understanding of complex games beyond…

Artificial Intelligence · Computer Science 2020-01-07 Paul Riggins , David McPherson

Motivated by safety-critical classification problems, we investigate adversarial attacks against cost-sensitive classifiers. We use current state-of-the-art adversarially-resistant neural network classifiers [1] as the underlying models.…

Machine Learning · Statistics 2019-10-08 Gavin S. Hartnett , Andrew J. Lohn , Alexander P. Sedlack

In secure communications networks there are a great number of user behavioural problems, which need to be dealt with. Curious players pose a very real and serious threat to the integrity of such a network. By traversing a network a Curious…

Cryptography and Security · Computer Science 2007-05-23 Liam Wagner

Strategic interactions between a group of individuals or organisations can be modelled as games played on networks, where a player's payoff depends not only on their actions but also on those of their neighbours. Inferring the network…

Machine Learning · Computer Science 2022-08-19 Emanuele Rossi , Federico Monti , Yan Leng , Michael M. Bronstein , Xiaowen Dong

We investigate several boundedness properties of function spaces considered as uniform spaces.

General Topology · Mathematics 2018-02-19 Lubica Hola , Ljubisa D. R. Kocinac

In this paper, we deepen the analysis of continuous time Fictitious Play learning algorithm to the consideration of various finite state Mean Field Game settings (finite horizon, $\gamma$-discounted), allowing in particular for the…

Optimization and Control · Mathematics 2020-10-27 Sarah Perrin , Julien Perolat , Mathieu Laurière , Matthieu Geist , Romuald Elie , Olivier Pietquin

Disability is an important factor affecting todays society. At the same time, more and more sub-healthy people are sick due to reduced body functions and cognitive functions. Exercise rehabilitation is a kind of physical therapy, which can…

Human-Computer Interaction · Computer Science 2022-01-14 Huansheng Ning , Zhenyu Wang , Rongyang Li , Yudong Zhang , Lingfeng Mao

This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the…

Logic in Computer Science · Computer Science 2011-04-15 Giorgi Japaridze

In this paper a hierarchical extension of the Minority Game is defined and studied. Numerical simulations show a special type of emergent global behavior between separated parts of the hierarchical structure, connected only through a…

Condensed Matter · Physics 2015-06-24 Csaba Foldy , Zoltan Somogyvari , Peter Erdi

We consider games played on the transition graph of concurrent programs running under the Total Store Order (TSO) weak memory model. Games are frequently used to model the interaction between a system and its environment, in this case…

Logic in Computer Science · Computer Science 2024-11-05 Stephan Spengler

Educational games have been widely used to teach children about cyber security. This systematic literature review reveals evidence of positive learning outcomes, after analysing 91 such games reported in 68 papers published between 2010 and…

Cryptography and Security · Computer Science 2025-08-26 Temesgen Kitaw Damenu , İnci Zaim Gökbay , Alexandra Covaci , Shujun Li

We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe…

Logic in Computer Science · Computer Science 2021-01-05 Paul Riggins , David McPherson

We present a quantum approach to a signaling game; a special kind of extensive games of incomplete information. Our model is based on quantum schemes for games in strategic form where players perform unitary operators on their own qubits of…

Computer Science and Game Theory · Computer Science 2014-07-28 Piotr Frackiewicz

Exploration-exploitation of functions, that is learning and optimizing a mapping between inputs and expected outputs, is ubiquitous to many real world situations. These situations sometimes require us to avoid certain outcomes at all cost,…

Applications · Statistics 2016-05-17 Eric Schulz , Quentin J. M. Huys , Dominik R. Bach , Maarten Speekenbrink , Andreas Krause

Interactive-proof games model the scenario where an honest party interacts with powerful but strategic provers, to elicit from them the correct answer to a computational question. Interactive proofs are increasingly used as a framework to…

Computer Science and Game Theory · Computer Science 2021-08-12 Jing Chen , Samuel McCauley , Shikha Singh