Forward Analysis for WSTS, Part III: Karp-Miller Trees.

Michael Blondin Alain Finkel Jean Goubault-Larrecq

Published in: FSTTCS (2017)

Keyphrases

real time
decision trees
image analysis
automatic analysis
search engine
information systems
data analysis
quantitative analysis