Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javier Cámara (CMU)
February 2017 - Conference Paper Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.