5015 search results - page 210 / 1003 » Model Checking a Path |
145
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
— This paper offers a path planning algorithm based on splines. The sought path avoids the obstacles, and is smooth and short. Smoothing is used as an integral part of the algori...
161
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
165
click to vote
DSRT
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
188
click to vote
TELSYS
2002
15 years 6 months ago
2002
The path recovery in MPLS is the technique to reroute traffic around a failure or congestion in a LSP. Currently, there are two kinds of model for path recovery: rerouting and prot...