Reasoning about Data Repetitions with Counter Systems

DOI10.2168/LMCS-12(3:1)2016zbMath1448.68339MaRDI QIDQ2818761

M. Praveen, Diego Figueira, Stéphane P. Demri

Publication date: 8 September 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

LTLcounter systemsdata-word

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (4)

Realizability problem for constraint LTL ⋮ A Note on C² Interpreted over Finite Data-Words ⋮ Unnamed Item ⋮ Playing with Repetitions in Data Words Using Energy Games

This page was built for publication: Reasoning about Data Repetitions with Counter Systems