Reachability Analysis of Feature Interactions: A Progress Report.

Keith P. Pomakis Joanne M. Atlee

Published in: ISSTA (1996)

Keyphrases

feature interactions
reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
search algorithm
temporal logic
state space
machine learning
supervised learning
qualitative and quantitative