Back to Results
First PageMeta Content
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

Document Date: 2016-06-16 12:52:13


Open Document

File Size: 1,27 MB

Share Result on Facebook