1116 search results - page 88 / 224 » Applying Predicate Abstraction to Abstract State Machines |
GFKL
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— In this paper, the Independence Relative Map algorithm is presented. The algorithm aims to achieve the independence of relative map states. We show that using dependent...
106
click to vote
CADE
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
WOLLIC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a domain-independent algorithm for planning that computes macros in a novel way. Our algorithm computes macros “on-the-fly” for a given set of states and ...
UM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...