Login / Signup
On the Complexity of Verifying Regular Properties on Flat Counter Systems
Stéphane Demri
Amit Kumar Dhar
Arnaud Sangnier
Published in:
CoRR (2013)
Keyphrases
</>
data structure
management system
memory requirements
artificial intelligence
information systems
distributed systems
computer systems
structural properties
systems require
real time
machine learning
intelligent systems
building blocks
decision problems
space complexity