On Unary Fragments of MTL and TPTL over Timed Words

DOI10.1007/978-3-319-10882-7_20zbMath1432.03029OpenAlexW12822483MaRDI QIDQ2938172

Shankara Narayanan Krishna, Paritosh K. Pandya, Khushraj Madnani

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_20

Mathematics Subject Classification ID

Temporal logic (03B44)

This page was built for publication: On Unary Fragments of MTL and TPTL over Timed Words