MTL and TPTL for One-Counter Machines

DOI10.1145/3372789zbMath1433.68215OpenAlexW2995528133MaRDI QIDQ5216144

Claudia Carapelle, Shiguang Feng, Karin Quaas, Oliver Fernández Gil

Publication date: 14 February 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3372789

zbMATH Keywords

metric temporal logicdata wordsEhrenfeucht-Fraïssé gamesone-counter machinesFreeze LTLtimed propositional temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

This page was built for publication: MTL and TPTL for One-Counter Machines