Results 151 to 160 of about 720,598 (345)

Games on graphs with a public signal monitoring

open access: yes, 2018
We study pure Nash equilibria in games on graphs with an imperfect monitoring based on a public signal. In such games, deviations and players responsible for those deviations can be hard to detect and track.
A Degorre   +16 more
core   +1 more source

Contrastive Abstraction for Reinforcement Learning [PDF]

open access: yesarXiv
Learning agents with reinforcement learning is difficult when dealing with long trajectories that involve a large number of states. To address these learning problems effectively, the number of states can be reduced by abstract representations that cluster states.
arxiv  

Proving Abstractions of Dynamical Systems through Numerical Simulations

open access: yes, 2014
A key question that arises in rigorous analysis of cyberphysical systems under attack involves establishing whether or not the attacked system deviates significantly from the ideal allowed behavior.
Mitra, Sayan
core   +1 more source

Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing [PDF]

open access: yesarXiv, 2016
In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values, and relies on the notion of abstract dependencies between program components (statements). The
arxiv  

Shape from dots: a window into abstraction processes in visual perception

open access: yesFrontiers in Computer Science
IntroductionA remarkable phenomenon in perception is that the visual system spontaneously organizes sets of discrete elements into abstract shape representations.
Nicholas Baker, Philip J. Kellman
doaj   +1 more source

Learning Abstractions for Program Synthesis [PDF]

open access: yesarXiv, 2018
Many example-guided program synthesis techniques use abstractions to prune the search space. While abstraction-based synthesis has proven to be very powerful, a domain expert needs to provide a suitable abstract domain, together with the abstract transformers of each DSL construct.
arxiv  

Home - About - Disclaimer - Privacy