Verification of gap-order constraint abstractions of counter systems.

Laura Bozzelli Sophie Pinchinat

Published in: Theor. Comput. Sci. (2014)

Keyphrases

data sets
distributed systems
high level
intelligent systems
complex systems
database
genetic algorithm
computer vision
metadata
case study
reinforcement learning
relational databases
management system
computer systems
learning systems