553 search results - page 64 / 111 » A General Theory of Additive State Space Abstractions |
VOSS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract— In this paper, we present an approach to obstacle avoidance for a group of unmanned vehicles moving in formation. The goal of the group is to move through a partially u...
CI
1998
13 years 8 months ago
1998
A pattern database is a lookup table that stores an exact evaluation function for a relaxed search problem, which provides an admissible heuristic for the original search problem....
SAFECOMP
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...