129
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
136
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
129
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
104
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
121
Voted
FAABS
2000
Springer
15 years 7 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...