Automated analysis of real-time scheduling using graph games.

Krishnendu Chatterjee Alexander Kößler Ulrich Schmid

Published in: HSCC (2013)

Keyphrases

automated analysis
automated detection
biomedical imaging
graph structure
visual analysis
weighted graph
computer games
video games
cell nuclei
graph theory
vocal cord
directed graph
game playing
nash equilibria
metadata