Sign in

Temporal Stream Logic: Synthesis Beyond the Bools.

Bernd FinkbeinerFelix KleinRuzica PiskacMark 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