Title
Finding plans subject to stipulations on what information they divulge.
Abstract
Motivated by applications where privacy is important, we consider planning problems for robots acting in the presence of an observer. We first formulate and then solve planning problems subject to stipulations on the information divulged during plan execution---the appropriate solution concept being both a plan and an information disclosure policy. We pose this class of problem under a worst-case model within the framework of procrustean graphs, formulating the disclosure policy as a particular type of map on edge labels. We devise algorithms that, given a planning problem supplemented with an information stipulation, can find a plan, associated disclosure policy, or both if some exists. Both the plan and associated disclosure policy may depend subtlety on additional information available to the observer, such as whether the observer knows the robotu0027s plan (e.g., leaked via a side-channel). Our implementation finds a plan and a suitable disclosure policy, jointly, when any such pair exists, albeit for small problem instances.
Year
DOI
Venue
2018
10.1007/978-3-030-44051-0_7
arXiv: Robotics
Field
DocType
Volume
Graph,Operations research,Control engineering,Stipulation,Solution concept,Engineering,Robot,Observer (quantum physics)
Journal
abs/1809.09682
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Yulin Zhang111.73
Dylan A. Shell233447.94
Jason M. O'Kane320327.01