Skip to main content
Columbia University Libraries
Academic Commons
search for
Search
About
Explore
Log In
Upload
Your Research
Academic Commons
Toggle facets
Refine your search
Author
Lin, Shou-pon
1
Academic Unit
Electrical Engineering
1
Subject
Artificial intelligence
1
Automatic control--Computer programs
1
Automobile driving
1
Automobile driving--Steering--Automatic control
1
Automobiles--Automatic control
[remove]
1
more
Subject
ยป
Type
Theses
1
Degree Level
Doctoral
1
Date Published
2015
1
Language
English
1
Search Constraints
Start Over
You searched for:
Subject
Automobiles--Automatic control
Remove constraint Subject: Automobiles--Automatic control
1
entry found
Sort by Best Match
Best Match
Published Latest
Published Earliest
Title A-Z
Title Z-A
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
Search Results
1.
Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study
Lin, Shou-pon
2015
Theses
Automobile driving
Automobile driving--Steering--Automatic control
Automobiles--Automatic control
Motor vehicles--Automatic control
Automatic control--Computer programs
Artificial intelligence
Electrical engineering
Computer science