MTL and TPTL for One-Counter Machines
From MaRDI portal
Publication:5216144
DOI10.1145/3372789zbMath1433.68215MaRDI QIDQ5216144
Claudia Carapelle, Karin Quaas, Oliver Fernández Gil, Shiguang Feng
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
metric temporal logic; data words; Ehrenfeucht-Fraïssé games; one-counter machines; Freeze LTL; timed propositional temporal logic
68Q60: Specification and verification (program logics, model checking, etc.)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic