5216 search results - page 293 / 1044 » Planning as Model Checking |
199
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
123
Voted
DFG
2007
Springer
15 years 11 months ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
118
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its exp...
129
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we present an approach to obstacle avoidance and local path planning for polygonal robots. It decomposes the task into a model stage and a planning stage. The model ...
166
click to vote
AAAI
2008
15 years 7 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...