Institute for Software Research
School of Computer Science, Carnegie Mellon University


Hybrid Planning in Self-adaptive Systems

Ashutosh Pandey

February 2020

Ph.D. Thesis
Software Engineering

This document is provided as a supplement to the free-standing thesis


Keywords: Self-adaptive systems, formal model, automated planning, machine learning, probabilistic model-checking

This supplmental document provides the PRISM planning specifications corresponding to reactive deliberative planning used for the two case studies used for evaluating the thesis claims in the actual thesis.

51 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by