English
Related papers

Related papers: Implementing a Wall-In Building Placement in StarC…

200 papers

The implementations of most hardened cryptographic libraries use defensive programming techniques for side-channel resistance. These techniques are usually specified as guidelines to developers on specific code patterns to use or avoid.…

Cryptography and Security · Computer Science 2025-09-03 Moritz Schneider , Daniele Lain , Ivan Puddu , Nicolas Dutly , Srdjan Capkun

Current agentic AI architectures are fundamentally incompatible with the security and epistemological requirements of high-stakes scientific workflows. The problem is not inadequate alignment or insufficient guardrails, it is architectural:…

Cryptography and Security · Computer Science 2026-02-11 Manish Bhattarai , Minh Vu

The project's aim is to create an AI agent capable of selecting good actions in a game-playing domain called Battlespace. Sequential domains like Battlespace are important testbeds for planning problems, as such, the Department of Defense…

Artificial Intelligence · Computer Science 2024-02-19 Sujay Nagesh Koujalgi , Jonathan Dodge

According to recent studies, the vulnerability of state-of-the-art Neural Networks to adversarial input samples has increased drastically. A neural network is an intermediate path or technique by which a computer learns to perform tasks…

Computer Vision and Pattern Recognition · Computer Science 2022-03-22 Anirudh Yadav , Ashutosh Upadhyay , S. Sharanya

Real-time strategy games have been an important field of game artificial intelligence in recent years. This paper presents a reinforcement learning and curriculum transfer learning method to control multiple units in StarCraft…

Artificial Intelligence · Computer Science 2018-04-04 Kun Shao , Yuanheng Zhu , Dongbin Zhao

This work studies a dynamic, adversarial resource allocation problem in environments modeled as graphs. A blue team of defender robots are deployed in the environment to protect the nodes from a red team of attacker robots. We formulate the…

Systems and Control · Electrical Eng. & Systems 2021-12-21 Daigo Shishika , Yue Guan , Michael Dorothy , Vijay Kumar

Writing a platform for reactive applications which enforces operational constraints is difficult, and has been approached in various ways. In this experience report, we detail an approach using an embedded DSL which can be used to specify…

Software Engineering · Computer Science 2015-04-09 Paul van der Walt

Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statements appear to have executed out of program order.…

Software Engineering · Computer Science 2015-06-03 Saurabh Joshi , Daniel Kroening

There have been numerous breakthroughs with reinforcement learning in the recent years, perhaps most notably on Deep Reinforcement Learning successfully playing and winning relatively advanced computer games. There is undoubtedly an…

Artificial Intelligence · Computer Science 2017-12-19 Per-Arne Andersen , Morten Goodwin , Ole-Christoffer Granmo

To achieve scenario intelligence, humans must transfer knowledge to robots by developing goal-oriented algorithms, which are sometimes insensitive to dynamically changing environments. While deep reinforcement learning achieves significant…

Artificial Intelligence · Computer Science 2018-07-31 Tingguang Li , Jin Pan , Delong Zhu , Max Q. -H. Meng

Active Directory (AD) is the default security management system for Windows domain networks. An AD environment naturally describes an attack graph where nodes represent computers/accounts/security groups, and edges represent existing…

Cryptography and Security · Computer Science 2022-12-09 Mingyu Guo , Max Ward , Aneta Neumann , Frank Neumann , Hung Nguyen

Consider a swarm of particles controlled by global inputs. This paper presents algorithms for shaping such swarms in 2D using boundary walls. The range of configurations created by conforming a swarm to a boundary wall is limited. We…

Robotics · Computer Science 2016-09-08 Shiva Shahrokhi , Arun Mahadev , Aaron T. Becker

StarCraft (SC) is one of the most popular and successful Real Time Strategy (RTS) games. In recent years, SC is also widely accepted as a challenging testbed for AI research because of its enormous state space, partially observed…

Artificial Intelligence · Computer Science 2019-10-15 Sijia Xu , Hongyu Kuang , Zhi Zhuang , Renjie Hu , Yang Liu , Huyang Sun

In a robotised warehouse a major issue is the safety of human operators in case of intervention in the work area of the robots. The current solution is to shut down every robot but it causes a loss of productivity, especially for large…

Computer Vision and Pattern Recognition · Computer Science 2017-08-09 Jérémy Taquet , Gaël Écorchard , Libor Přeučil

In many applications, we want to influence the decisions of independent agents by designing incentives for their actions. We revisit a fundamental problem in this area, called GAME IMPLEMENTATION: Given a game in standard form and a set of…

Computer Science and Game Theory · Computer Science 2022-12-02 Jiehua Chen , Sebastian Vincent Haydn , Negar Layegh Khavidaki , Sofia Simola , Manuel Sorge

We formulate the problem of defogging as state estimation and future state prediction from previous, partial observations in the context of real-time strategy games. We propose to employ encoder-decoder neural networks for this task, and…

Machine Learning · Computer Science 2018-12-04 Gabriel Synnaeve , Zeming Lin , Jonas Gehring , Dan Gant , Vegard Mella , Vasil Khalidov , Nicolas Carion , Nicolas Usunier

Training agents in multi-agent competitive games presents significant challenges due to their intricate nature. These challenges are exacerbated by dynamics influenced not only by the environment but also by opponents' strategies. Existing…

Machine Learning · Computer Science 2023-08-22 The Viet Bui , Tien Mai , Thanh Hong Nguyen

We present a strong baseline that surpasses the performance of previously published methods on the Habitat Challenge task of navigating to a target object in indoor environments. Our method is motivated from primary failure modes of prior…

Robotics · Computer Science 2022-03-15 Haokuan Luo , Albert Yue , Zhang-Wei Hong , Pulkit Agrawal

Detection of malicious behavior is a fundamental problem in security. One of the major challenges in using detection systems in practice is in dealing with an overwhelming number of alerts that are triggered by normal behavior (the…

Cryptography and Security · Computer Science 2019-06-24 Liang Tong , Aron Laszka , Chao Yan , Ning Zhang , Yevgeniy Vorobeychik

In this work, we present a learning-based approach to chip placement, one of the most complex and time-consuming stages of the chip design process. Unlike prior methods, our approach has the ability to learn from past experience and improve…