ACSOS 2020 (series) / David Garlan
Registered user since Mon 24 Apr 2017
Name:David Garlan
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~garlan/
Research interests:Software architecture, self-adaptive systems, applied formal methods
Contributions
2020
ACSOS
- Case Study of an Automated Approach to Managing Collections of Autonomic Systems
- Building Reusable Repertoires for Stochastic Self-* Planners
- Hybrid Planning Using Learning and Model Checking for Autonomous Systems
- Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems
ACSOS 2020-profile
View general profile
View general profile