Sign in

Synthesizing Dominant Strategies for Liveness.

Bernd FinkbeinerNoemi Passing
Published in: FSTTCS (2022)
Keyphrases
  • expert systems
  • search strategies
  • optimal strategy
  • neural network
  • search engine
  • multimedia
  • case study
  • high level
  • feature extraction
  • video sequences
  • trade off