Results 21 to 30 of about 3,473 (262)
Applied Sciences, 2023 The particular responsibility of referees in combat sports lies in their decision-making to enforce the rules of the sport, which requires considerable experience and a multitude of skills, including perception, categorization, memory processing, and ...
Dominik Hoelbling +8 more
doaj +1 more source
Full abstraction for fair testing in CCS (expanded version) [PDF]
Logical Methods in Computer Science, 2014 In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent form of presheaf semantics and as a concurrent form of game semantics.
Tom Hirschowitz
doaj +1 more source
Mathematics, 2023 Consider a set of n players. We suppose that each game involves two players, that there is some unknown player who wins each game it plays with a probability greater than 1/2, and that our objective is to determine this best player. Under the requirement
Zhengu Zhang, Sheldon M. Ross
doaj +1 more source
A Game Semantics for Generic Polymorphism [PDF]
Annals of Pure and Applied Logic, 2003 Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the structure of their instances by the following equational principle: if two generic programs, viewed as terms of type $\forall X.
Samson Abramsky, Radha Jagadeesan
openaire +5 more sources
Mean-Payoff Games with ω-Regular Specifications
Games, 2022 Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players.
Julian Gutierrez +2 more
doaj +1 more source
Addictive Games: Case Study on Multi-Armed Bandit Game
Information, 2021 The attraction of games comes from the player being able to have fun in games. Gambling games that are based on the Variable-Ratio schedule in Skinner’s experiment are the most typical addictive games.
Xiaohan Kang +3 more
doaj +1 more source
Differential Game for an Infinite System of Two-Block Differential Equations
Mathematics, 2022 We present a pursuit differential game for an infinite system of two-block differential equations in Hilbert space l2. The pursuer and evader control functions are subject to integral constraints.
Gafurjan Ibragimov +3 more
doaj +1 more source
Game semantics and subtyping [PDF]
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), 2002 While game semantics has been remarkably successful at modelling, often in a fully abstract manner a wide range of features of programming languages, there has to date been no attempt at applying it to subtyping. We show how the simple device of explicitly introducing error values in the syntax of the calculus leads to a notion of subtyping for game ...
openaire +2 more sources
Operational Algorithmic Game Semantics
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 We consider a simply-typed call-by-push-value calculus with state, and provide a fully abstract trace model via a labelled transition system (LTS) in the spirit of operational game semantics. By examining the shape of configurations and performing a series of natural optimisation steps based on name recycling, we identify a fragment for which the LTS ...
Benedict Bunting, Andrzej S. Murawski
openaire +2 more sources
On the equivalence of game and denotational semantics for the probabilistic mu-calculus [PDF]
Logical Methods in Computer Science, 2012 The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic de- signed for expressing properties of probabilistic labeled transition systems (PLTS).
Matteo Mio
doaj +1 more source