2468 search results - page 76 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
153
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
149
click to vote
SLS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This work presents an algorithm for the sub-graph isomorphism problem based on a new pruning technique for directed graphs. During the tree search, the method checks if a...
141
Voted
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
150
Voted
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
171
click to vote
PE
2000
Springer
15 years 3 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...