Sadra Sadraddini, Calin Belta. Feasibility envelopes for metric temporal logic specifications. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 5732-5737, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.