Relaxed decidability and the robust semantics of Metric Temporal Logic (Publication)

Download File

Relaxed_decidability_and_the_robust_semantics_of_Metric_Temporal.pdf

Citation

Houssam Abbas, Matthew O'Kelly, and Rahul Mangharam, "Relaxed decidability and the robust semantics of Metric Temporal Logic", Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control . 2017.

Publication Date

Oct. 14, 2017

Publication Type

Peer-reviewed Journal