On Unary Fragments of MTL and TPTL over Timed Words [chapter]

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014 Lecture Notes in Computer Science  
On Unary Fragments of MTL and TPTL over Timed Words. Motivation MTL and TPTL is extensively studied in the literature. Khushraj Madnani,S.N.Krishna, Paritosh.K.Pandya On Unary Fragments of MTL and TPTL over Timed Words. Motivation MTL and TPTL is extensively studied in the literature. These Logics are extension of LTL that allow timing constraints to be specified along with the temporal ordering. Khushraj Madnani,S.N.Krishna, Paritosh.K.Pandya On Unary Fragments of MTL and TPTL over Timed
more » ... Motivation MTL and TPTL is extensively studied in the literature. These Logics are extension of LTL that allow timing constraints to be specified along with the temporal ordering. They exhibit considerable diversity in expressiveness and decidability properties based on restriction on modalities and type of timing constraints. Khushraj Madnani,S.N.Krishna, Paritosh.K.Pandya On Unary Fragments of MTL and TPTL over Timed Words. Motivation MTL and TPTL is extensively studied in the literature. These Logics are extension of LTL that allow timing constraints to be specified along with the temporal ordering. They exhibit considerable diversity in expressiveness and decidability properties based on restriction on modalities and type of timing constraints. In general satisfiability checking of full MTL and TPTL is undecidable. Khushraj Madnani,S.N.Krishna, Paritosh.K.Pandya On Unary Fragments of MTL and TPTL over Timed Words. Motivation MTL and TPTL is extensively studied in the literature. These Logics are extension of LTL that allow timing constraints to be specified along with the temporal ordering. They exhibit considerable diversity in expressiveness and decidability properties based on restriction on modalities and type of timing constraints. In general satisfiability checking of full MTL and TPTL is undecidable. Unlike LTL, they are more expressive with past operators. Khushraj Madnani,S.N.Krishna, Paritosh.K.Pandya On Unary Fragments of MTL and TPTL over Timed Words. Motivation
doi:10.1007/978-3-319-10882-7_20 fatcat:mgjzezczrner7pb7lxwgddh7i4