On the Complexity of Verifying Regular Properties on Flat Counter Systems, .

Stéphane Demri Amit Kumar Dhar Arnaud Sangnier

Published in: ICALP (2) (2013)

Keyphrases

expert systems
computational complexity
multimedia
structural properties
user interface
management system
intelligent systems
desirable characteristics
real time
systems require
complexity analysis
space complexity
complex systems
optimal solution
multiscale
image sequences
website
information systems
neural network