English
Related papers

Related papers: Finding plans subject to stipulations on what info…

200 papers

For robots acting in the presence of observers, we examine the information that is divulged if the observer is party to the robot's plan. Privacy constraints are specified as the stipulations on what can be inferred during plan execution.…

Robotics · Computer Science 2018-10-10 Yulin Zhang , Dylan A. Shell , Jason M. O'Kane

Qualitative opacity of a secret is a security property, which means that a system trajectory satisfying the secret is observation-equivalent to a trajectory violating the secret. In this paper, we study how to synthesize a control policy…

Formal Languages and Automata Theory · Computer Science 2024-12-04 Sumukha Udupa , Jie Fu

We study planning problems faced by robots operating in uncertain environments with incomplete knowledge of state, and actions that are noisy and/or imprecise. This paper identifies a new problem sub-class that models settings in which…

Robotics · Computer Science 2022-08-09 Federico Rossi , Dylan Shell

Covert planning refers to a class of constrained planning problems where an agent aims to accomplish a task with minimal information leaked to a passive observer to avoid detection. However, existing methods of covert planning often…

Multiagent Systems · Computer Science 2023-11-02 Haoxiang Ma , Chongyang Shi , Shuo Han , Michael R. Dorothy , Jie Fu

In order to be useful in the real world, AI agents need to plan and act in the presence of others, who may include adversarial and cooperative entities. In this paper, we consider the problem where an autonomous agent needs to act in a…

Artificial Intelligence · Computer Science 2020-01-27 Anagha Kulkarni , Siddharth Srivastava , Subbarao Kambhampati

Intelligent robots and machines are becoming pervasive in human populated environments. A desirable capability of these agents is to respond to goal-oriented commands by autonomously constructing task plans. However, such autonomy can add…

Artificial Intelligence · Computer Science 2016-04-14 Yu Zhang , Sarath Sreedharan , Anagha Kulkarni , Tathagata Chakraborti , Hankz Hankui Zhuo , Subbarao Kambhampati

The hidden-action model captures a fundamental problem of principal-agent theory and provides an optimal sharing rule when only the outcome but not the effort can be observed. However, the hidden-action model builds on various explicit and…

General Economics · Economics 2020-04-15 Stephan Leitner , Friederike Wall

This paper addresses two classes of different, yet interrelated optimization problems. The first class of problems involves a robot that must locate a hidden target in an environment that consists of a set of concurrent rays. The second…

Artificial Intelligence · Computer Science 2015-04-28 Spyros Angelopoulos

Visualizing data often entails data transformations that can reveal and hide information, operations we dub disclosure tactics. Whether designers hide information intentionally or as an implicit consequence of other design choices, tools…

Human-Computer Interaction · Computer Science 2025-09-30 Krisha Mehta , Gordon Kindlmann , Alex Kale

We study the navigation problem for a robot moving amidst static and dynamic obstacles and rely on a hierarchical approach to solve it. First, the reference trajectory is planned by the safe interval path planning algorithm that is capable…

Robotics · Computer Science 2019-06-18 Konstantin Yakovlev , Anton Andreychuk , Juliya Belinskaya , Dmitry Makarov

Intelligent robots need to generate and execute plans. In order to deal with the complexity of real environments, planning makes some assumptions about the world. When executing plans, the assumptions are usually not met. Most works have…

Artificial Intelligence · Computer Science 2024-03-20 Daniel Borrajo , Manuela Veloso

In order to solve complex, long-horizon tasks, intelligent robots need to carry out high-level, abstract planning and reasoning in conjunction with motion planning. However, abstract models are typically lossy and plans or policies computed…

Robotics · Computer Science 2022-05-27 Naman Shah , Siddharth Srivastava

When a robot is asked to verbalize its plan it can do it in many ways. For example, a seemingly natural strategy is incremental, where the robot verbalizes its planned actions in plan order. However, an important aspect of this type of…

Artificial Intelligence · Computer Science 2025-11-18 Michele Persiani , Thomas Hellstrom

Data integration systems allow users to access data sitting in multiple sources by means of queries over a global schema, related to the sources via mappings. Data sources often contain sensitive information, and thus an analysis is needed…

Logic in Computer Science · Computer Science 2020-12-15 Michael Benedikt , Pierre Bourhis , Louis Jachiet , Michaël Thomazo

Information gathering algorithms play a key role in unlocking the potential of robots for efficient data collection in a wide range of applications. However, most existing strategies neglect the fundamental problem of the robot pose…

Robotics · Computer Science 2019-12-17 Marija Popovic , Teresa Vidal-Calleja , Jen Jen Chung , Juan Nieto , Roland Siegwart

Robot planning is the process of selecting a sequence of actions that optimize for a task specific objective. The optimal solutions to such tasks are heavily influenced by the implicit structure in the environment, i.e. the configuration of…

A policymaker discloses public information to interacting agents who also acquire costly private information. More precise public information reduces the precision and cost of acquired private information. Considering this effect, what…

Theoretical Economics · Economics 2022-04-08 Takashi Ui

An important class of applications entails a robot monitoring, scrutinizing, or recording the evolution of an uncertain time-extended process. This sort of situation leads an interesting family of planning problems in which the robot is…

Robotics · Computer Science 2021-03-16 Hazhar Rahmani , Dylan A. Shell , Jason M. O'Kane

Whether a robot can perform some specific task depends on several aspects, including the robot's sensors and the plans it possesses. We are interested in search algorithms that treat plans and sensor designs jointly, yielding…

Robotics · Computer Science 2020-05-25 Yulin Zhang , Dylan A. Shell

We study optimal information provision in transportation networks when users are strategic and the network state is uncertain. An omniscient planner observes the network state and discloses information to the users with the goal of…

Computer Science and Game Theory · Computer Science 2023-12-01 Leonardo Cianfanelli , Alexia Ambrogio , Giacomo Como
‹ Prev 1 2 3 10 Next ›