Formal Methods for Control of Traffic Flow: Automated...

IEEE Control Systems 2017 / 4 Vol. 37; Iss. 2

Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models

Coogan, Samuel, Arcak, Murat, Belta, Calin
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
37
Language:
english
Journal:
IEEE Control Systems
DOI:
10.1109/MCS.2016.2643259
Date:
April, 2017
File:
PDF, 3.15 MB
english, 2017
Conversion to is in progress
Conversion to is failed