Temporal Stream Logic: Synthesis beyond the Bools.

Bernd Finkbeiner Felix Klein Ruzica Piskac Mark Santolucito

Published in: CoRR (2017)

Keyphrases

logic synthesis
data streams
multi valued
quantum computing
heuristic search
logic circuits
real time
data mining
wireless sensor networks