419 search results - page 3 / 84 » Interacting State Machines for Mobility |
DSVIS
2003
Springer
13 years 10 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
ESORICS
2002
Springer
14 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ASM
1998
ASM
13 years 9 months ago
1998
ASM
LMCS
2007
13 years 5 months ago
2007
SAB
2010
Springer
13 years 3 months ago
2010
Springer
Learning robot-environment interaction with echo state networks (ESNs) is presented in this paper. ESNs are asked to bootstrap a robot’s control policy from human teacher’s dem...