Dynamic Controllability of Temporally-flexible Reactive Programs
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs whose behavior depends on runtime observations; conditional execution, iteration, and exception handling. Temporally-flex...
Main Authors: | Effinger, Robert Temple, Williams, Brian Charles, Kelly, Gerard, Sheehy, Michael |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | en_US |
Published: |
AAAI Publicaitons
2011
|
Online Access: | http://hdl.handle.net/1721.1/67835 https://orcid.org/0000-0002-1057-3940 |
Similar Items
-
Optimal Temporal Planning at Reactive Time Scales via Dynamic Backtracking Branch and Bound
by: Effinger, Robert
Published: (2018) -
Optimal temporal planning at reactive time scales via dynamic backtracking branch and bound
by: Effinger, Robert T
Published: (2007) -
Risk-minimizing program execution in robotic domains
by: Effinger, Robert
Published: (2018) -
Risk-minimizing program execution in robotic domains
by: Effinger, Robert T
Published: (2012) -
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds
by: Bhargava, Nikhil, et al.
Published: (2019)