Taming past LTL and flat counter systems.

Stéphane Demri Amit Kumar Dhar Arnaud Sangnier

Published in: Inf. Comput. (2015)

Keyphrases

management system
expert systems
distributed systems
computer systems
databases
linear temporal logic
database
neural network
real world
genetic algorithm
artificial intelligence
computer vision
bayesian networks
learning environment
complex systems
temporal logic