Temporal Stream Logic: Synthesis Beyond the Bools.

Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito

Published in: CAV (1) (2019)

Keyphrases

logic synthesis
heuristic search
real time
multi valued
machine learning
data streams
quantum computing
expert systems
databases
data mining
motion estimation
high speed
inductive learning