David Garlan - ACSOS 2020

Mon 17 - Fri 21 August 2020

Registered user since Mon 24 Apr 2017

Name:David Garlan

Country:United States

Affiliation:Carnegie Mellon University

Research interests:Software architecture, self-adaptive systems, applied formal methods

Contributions

ACSOS 2020	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
Show activities from other conferences