5216 search results - page 234 / 1044 » Planning as Model Checking |
121
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper considers the trajectory planning problem for line-feature based SLAM in structured indoor environments. The robot poses and line features are estimated using Smooth...
165
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
133
click to vote
FORTE
2008
15 years 5 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
125
click to vote
WSC
2008
15 years 6 months ago
2008
We develop a logistics and transportation simulation that can be used to provide insights into potential outcomes of proposed military deployment plans. More specifically, we mode...
156
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...