7 search results - page 2 / 2 » Exploiting interleaving semantics in symbolic state-space ge... |
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...