Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
1 of
1
Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle
, 1995
"... This paper describes the use of modern approaches of formal verification of behavioral and temporal temporties in an experimentation of automatic vehicle following. We firstly recall the key concepts of the proposed specification method: the robot-task, which allows to describe in a structured way a ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
This paper describes the use of modern approaches of formal verification of behavioral and temporal temporties in an experimentation of automatic vehicle following. We firstly recall the key concepts of the proposed specification method: the robot-task, which allows to describe in a structured way
