235 search results - page 27 / 47 » A Symbolic Symbolic State Space Representation |
143
click to vote
AAMAS
2005
Springer
15 years 11 months ago
2005
Springer
The ability to determine a sequence of actions in order to reach a particular goal is of utmost importance to mobile robots. One major problem with symbolic planning approaches re...
159
click to vote
CAV
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
161
click to vote
ESORICS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
158
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
147
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In order to have a robotic system able to effectively learn by imitation, and not merely reproduce the movements of a human teacher, the system should have the capabiliti...