Witness Runs for Counter Machines - (Abstract).

Clark W. Barrett Stéphane Demri Morgan Deters

Published in: TABLEAUX (2013)

Keyphrases

higher level
information retrieval
learning machines
real time
data sets
databases
multimedia
high level
preprocessing
expert systems
wireless sensor networks
probability distribution
state machines