3678 search results - page 80 / 736 » On the Stable Paths Problem |
157
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
139
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
131
click to vote
CPAIOR
2007
Springer
16 years 11 days ago
2007
Springer
Given a directed graph G, the K node-disjoint paths problem consists in finding a partition of G into K node-disjoint paths, such that each path ends up in a given subset of nodes...
138
click to vote
SODA
2000
ACM
15 years 7 months ago
2000
ACM
We study the edge-disjoint escape problem in grids. Given a set of n sources in a two-dimensional grid, the problem is to connect all sources to the grid boundary using a set of n...
156
click to vote
RP
2009
Springer
16 years 22 days ago
2009
Springer
In [13], Yen defines a class of formulas for paths in Petri nets and claims that its satisfiability problem is EXPSPACE-complete. In this paper, we show that in fact the satisfi...