5216 search results - page 131 / 1044 » Planning as Model Checking |
108
Voted
ICECCS
2010
IEEE
15 years 29 days ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
106
click to vote
AAI
2004
15 years 20 days ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
100
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
— The configuration space of a robot is partitioned into free space and C-obstacle space. Most of the prior work in collision detection and motion planning algorithms is targete...
108
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
103
click to vote
ACSD
2008
IEEE
15 years 2 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...