444 search results - page 12 / 89 » Termination by Abstraction |
CDC
2009
IEEE
14 years 14 days ago
2009
IEEE
Abstract— We investigate an optimal consumption and investment problem where we receive a certain fixed income stream that is terminated at a random time. It turns out that the ...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
TOPLAS
2008
13 years 7 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...