Model Checking Metric Temporal Logic over Automata with One Counter

DOI10.1007/978-3-642-37064-9_41zbMath1377.68137OpenAlexW2276770679MaRDI QIDQ4910485

Karin Quaas

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Path Checking for MTL and TPTL over Data Words

This page was built for publication: Model Checking Metric Temporal Logic over Automata with One Counter