419 search results - page 3 / 84 » Interacting State Machines for Mobility |
105
click to vote
DSVIS
2003
Springer
15 years 4 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...
100
click to vote
ESORICS
2002
Springer
15 years 11 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
15 years 3 months ago
1998
ASM
LMCS
2007
14 years 11 months ago
2007
104
click to vote
SAB
2010
Springer
14 years 10 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...