Index Catalog // 蹄兔

清除筛选

筛选: Advisor Dougherty, Daniel J. 创造者 VanValkenburg, MaryAnn E.

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

关键词:

Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)

创造者:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

出版者:

Worcester Polytechnic Institute

创建日期:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science