10 citations · 31 across the 24 of their papers we have counts for
26 papers
Limits of specifiability for sensor-based robotic planning tasks
Basak Sakcak, Dylan A. Shell, Jason M. O'Kane
There is now a large body of techniques, many based on formal methods, for describing and realizing complex robotics tasks, including those involving a variety of rich goals and ti…
A Model for Optimal Resilient Planning Subject to Fallible Actuators
Kyle Baldes, Diptanil Chaudhuri, Jason M. O'Kane +1
Robots incurring component failures ought to adapt their behavior to best realize still-attainable goals under reduced capacity. We formulate the problem of planning with actuators…
A fixed-parameter tractable algorithm for combinatorial filter reduction
Yulin Zhang, Dylan A. Shell
What is the minimal information that a robot must retain to achieve its task? To design economical robots, the literature dealing with reduction of combinatorial filters approaches…
Optimizing pre-scheduled, intermittently-observed MDPs
Patrick Zhong, Federico Rossi, Dylan A. Shell
A challenging category of robotics problems arises when sensing incurs substantial costs. This paper examines settings in which a robot wishes to limit its observations of state, f…
A general class of combinatorial filters that can be minimized efficiently
Yulin Zhang, Dylan A. Shell
State minimization of combinatorial filters is a fundamental problem that arises, for example, in building cheap, resource-efficient robots. But exact minimization is known to be N…
Planning under periodic observations: bounds and bounding-based solutions
Federico Rossi, Dylan Shell
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 identifie…