Approximating Continuous Systems by Timed Automata.

Oded Maler Grégory Batt

Published in: FMSB (2008)

Keyphrases

timed automata
complex systems
databases
expert systems
information systems
management system
knowledge based systems
artificial intelligence
search engine
social networks
computer vision
decision trees
learning environment
learning systems