Synthesizing Dominant Strategies for Liveness.

Bernd Finkbeiner Noemi 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