Mcta: Heuristics and Search for Timed Systems.

Martin Wehrle Sebastian Kupferschmid

Published in: FORMATS (2012)

Keyphrases

search algorithm
search strategies
search space
search methods
search engine
tree search
computer systems
user queries
heuristic search
information systems
learning systems
search strategy
lower bound
keyword search
finite state machines
search efficiency
keywords
variable ordering
search effort
multimedia search