Taming Past LTL and Flat Counter Systems.

Stéphane Demri Amit Kumar Dhar Arnaud Sangnier

Published in: IJCAR (2012)

Keyphrases

artificial intelligence
website
computer systems
learning systems
database
distributed systems
knowledge based systems
computer vision
information systems
decision trees