1616 search results - page 64 / 324 » A Framework for Hybrid Planning |
172
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In a typical dextrous manipulation task, a goal configuration is reached through a sequence of continuous motions. Most often, a motion plan is computed offline and subsequently...
197
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some...
148
click to vote
HYBRID
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
173
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
144
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents properties and results of a new framework for sequential decision-making in multiagent settings called interactive partially observable Markov decision process...