5216 search results - page 288 / 1044 » Planning as Model Checking |
156
click to vote
ENTCS
2008
15 years 4 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
142
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes a test-bed for planar micro manipulation tasks and a framework for planning based on quasistatic models of mechanical systems with frictional contacts. We ...
125
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
144
click to vote
AIPS
2006
15 years 6 months ago
2006
Researchers often express probabilistic planning problems as Markov decision process models and then maximize the expected total reward. However, it is often rational to maximize ...
118
click to vote
UAI
2000
15 years 6 months ago
2000
Monitoring plan preconditions can allow for replanning when a precondition fails, generally far in advance of the point in the plan where the precondition is relevant. However, mo...