Automated adaptation via quantitative partial model checking.

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci

Browse the full SAC paper archive.