Feasibility envelopes for metric temporal logic specifications

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]

Abstract

Abstract is missing.