235 search results - page 33 / 47 » A Symbolic Symbolic State Space Representation |
AIIA
2007
Springer
15 years 1 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
102
Voted
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
RAS
2008
14 years 9 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...