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

Personal website: https://www.cs.cmu.edu/~garlan/

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