Proving feature non-interaction with Alternating-Time Temporal Logic.

Franck Cassez Mark Dermot Ryan Pierre-Yves Schobbens

Published in: FIREworks (2000)

Keyphrases

alternating time temporal logic
human computer interaction
dynamic programming
optimal solution
feature vectors
image features
user interaction
model checking