575 search results - page 42 / 115 » Model Checking Restricted Sets of Timed Paths |
140
click to vote
CAV
1994
Springer
15 years 4 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
130
click to vote
CG
2007
Springer
14 years 12 months ago
2007
Springer
We present an interactive algorithm to perform continuous collision detection between general deformable models using graphics processors (GPUs). We model the motion of each objec...
FORTE
2004
15 years 1 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
LATIN
2010
Springer
14 years 10 months ago
2010
Springer
The packet routing problem, i.e., the problem to send a given set of unit-size packets through a network on time, belongs to one of the most fundamental routing problems with impor...