Safety alternating automata on data words
From MaRDI portal
Publication:2946627
DOI10.1145/1877714.1877716zbMath1352.03014arXiv0802.4237OpenAlexW2021449336MaRDI QIDQ2946627
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0802.4237
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (4)
On termination and invariance for faulty channel machines ⋮ Extending two-variable logic on data trees with order on data values and its automata ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Equal To The Task?
This page was built for publication: Safety alternating automata on data words
