PASTA: an Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems
European Joint Conferences on Theory And Practice of Software（2021）
Key words
Self-adaptive system,Proactive adaptation,Statistical model checking,Environmental uncertainty
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined