5216 search results - page 350 / 1044 » Planning as Model Checking |
134
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
140
Voted
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we study and implement a routabilitydriven floorplanner with buffer block planning. It evaluates the routability of a floorplan by computing the probability that ...
136
click to vote
AI
2001
Springer
15 years 9 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
116
Voted
IJCAI
1997
15 years 6 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
153
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...