IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. , NO. , MONTH YEAR 1 Correct-By-Construction Adaptive Cruise Control: Two Approaches

First Page		Document Content
Date: 2016-06-16 12:52:13 Control theory Cybernetics Linear temporal logic Symbol		IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. , NO. , MONTH YEAR 1 Correct-By-Construction Adaptive Cruise Control: Two Approaches Add to Reading List Source URL: web.eecs.umich.edu Download Document from Source Website File Size: 1,27 MB Share Document on Facebook