Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.

Nils Buhrke Wolfgang Thomas Jens Vöge

Published in: FBT (1997)

Keyphrases

test set
massachusetts institute of technology
facial action units
data sets
artificial intelligence
image sequences
human faces