An Automata-Based View on Configurability and Uncertainty.

Martin Berglund, Ina Schaefer

Browse the full ICTAC paper archive.