Towards an Efficient Tree Automata Based Technique for Timed Systems.

S. Akshay Paul Gastin Shankara Narayanan Krishna Ilias Sarkar

Published in: CONCUR (2017)

Keyphrases

data sets
database
knowledge based systems
management system
binary tree
tree structure
computer systems
intelligent systems
learning algorithm
neural network
databases
data structure
mobile robot
case study
distributed systems
artificial intelligence
genetic algorithm
complex systems