CMU-ISR-20-100-Appendix
Institute for Software Research
School of Computer Science, Carnegie Mellon University


CMU-ISR-20-100-Appendix

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
CMU-ISR-20-100.pdf

CMU-ISR-20-100-Appendix.pdf


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 reports@cs.cmu.edu