Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems.

Kim Guldstrand Larsen

Published in: TIME (2016)

Keyphrases

expert systems
management system
optimization algorithm
petri net
optimization problems
neural network
knowledge base
face recognition
distributed systems
peer to peer
computer systems
knowledge based systems
learning systems
optimization methods