851 search results - page 30 / 171 » History Effects and Verification |
IJRR
2008
14 years 11 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
100
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
123
click to vote
ANTSW
2010
Springer
14 years 9 months ago
2010
Springer
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
100
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
165
click to vote
IWUC
2004
15 years 1 months ago
2004
There is an inherent chasm between the real-world and the world that can be perceived by computer systems, yielding uncertainty and ambiguity in system perceived context, with cons...