Deciding Continuous-Time Metric Temporal Logic with Counting Modalities

DOI10.1007/978-3-642-41036-9_8zbMath1405.03045OpenAlexW192139678MaRDI QIDQ5168514

Marcello M. Bersani, Pierluigi San Pietro, Matteo Rossi

Publication date: 7 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-41036-9_8

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (3)

An SMT-based approach to satisfiability checking of MITL ⋮ A logical characterization of timed regular languages ⋮ A tool for deciding the satisfiability of continuous-time metric temporal logic

This page was built for publication: Deciding Continuous-Time Metric Temporal Logic with Counting Modalities