Sign in
A Case Study on Formal Analysis of an Automated Guided Vehicle System.
Jie Zhang
Yuntao Peng
William N. N. Hung
Xiaojuan Li
Jindong Tan
Zhiping Shi
Published in:
J. Appl. Math. (2014)
Keyphrases
</>
formal analysis
pedestrian detection
semi automated
case study
formal methods
agent model
real time
vehicle speed
vehicle detection
test bed
ban logic
model checking
wireless networks
object detection
knowledge representation
electric vehicles
database