Results 1 to 10 of about 18,324 (164)
Generalized Hyperbolic Discounting in Security Games of Timing
Games, 2023 In recent years, several high-profile incidents have spurred research into games of timing. A framework emanating from the FlipIt model features two covert agents competing to control a single contested resource.
Jonathan Merlevede +2 more
exaly +3 more sources
Continuous-time games of timing [PDF]
Journal of Economic Theory, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rida Laraki +2 more
exaly +8 more sources
Journal of Medical Internet Research, 2023 BackgroundAttention-deficit/hyperactivity disorder (ADHD) has a considerable impact on an individual’s daily life. Some difficulties with timing deficits may be associated with deficiencies in attention, reading, language skills ...
Marina Martin-Moratinos +2 more
doaj +1 more source
Information and Computation, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Guy Avni, Shibashis Guha, Orna Kupferman
openaire +4 more sources
The Importance of Betting Early
Risks, 2021 We evaluate the impact of timing on decision outcomes when both the timing and the relevant decision are chosen under uncertainty. Sports betting provides the testing ground, as we exploit an original dataset containing more than one million online bets ...
Alessandro Innocenti +2 more
doaj +1 more source
Playing Games with Timed Games [PDF]
IFAC Proceedings Volumes, 2009 In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability.
Chatain, Thomas +2 more
openaire +4 more sources
Timed games and deterministic separability [PDF]
CoRR, 2020 accepted to ICALP ...
Lorenzo Clemente +2 more
openaire +4 more sources
Slot Games for Detecting Timing Leaks of Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper we describe a method for verifying secure information flow of programs, where apart from direct and indirect flows a secret information can be leaked through covert timing channels. That is, no two computations of a program that differ only
Aleksandar S. Dimovski
doaj +1 more source
Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments
Games, 2023 This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex time-sensitive tasks in the presence of an adversary.
Luyao Niu +3 more
doaj +1 more source
A game of timing and visibility [PDF]
Games and Economic Behavior, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zvi Lotker +2 more
openaire +1 more source