Deterministic Dynamic Monitors for Linear-Time Assertions.

Roy Armoni Dmitry Korchemny Andreas Tiemeyer Moshe Y. Vardi Yael Zbar

Published in: FATES/RV (2006)

Keyphrases

dynamic environments
real time
data sets
highly dynamic
information retrieval
genetic algorithm
decision making
decision trees
case study
changing environment
dynamically changing