Publications
Export 4 results:
[ Author
Filters: First Letter Of Last Name is K [Clear All Filters]
“On the Use of Graph Transformation in the Formal Specification of Model Interpreters”, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
, “Real-Time Traffic Lights Identification using YOLOv3 Algorithm For Autonomous Vehicles”, in CAT Vehicle 2020 Technical Reports, 2020.
Yolov3.pdf (2.22 MB)
, 
“Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 