Search Results for author: David Garlan

Found 9 papers, 4 papers with code

Error-Driven Uncertainty Aware Training

no code implementations2 May 2024 Pedro Mendes, Paolo Romano, David Garlan

In this work, we present a novel technique, named Error-Driven Uncertainty Aware Training (EUAT), which aims to enhance the ability of neural models to estimate their uncertainty correctly, namely to be highly uncertain when they output inaccurate predictions and low uncertain when their output is accurate.

CURE: Simulation-Augmented Auto-Tuning in Robotics

no code implementations8 Feb 2024 Md Abir Hossen, Sonam Kharade, Jason M. O'Kane, Bradley Schmerl, David Garlan, Pooyan Jamshidi

This paper proposes CURE -- a method that identifies causally relevant configuration options, enabling the optimization process to operate in a reduced search space, thereby enabling faster optimization of robot performance.

Bayesian Optimization

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations

no code implementations13 Nov 2023 Changjian Zhang, Parv Kapoor, Romulo Meira-Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar

The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities.

Attribute Autonomous Vehicles +1

Hyper-parameter Tuning for Adversarially Robust Models

1 code implementation5 Apr 2023 Pedro Mendes, Paolo Romano, David Garlan

This work focuses on the problem of hyper-parameter tuning (HPT) for robust (i. e., adversarially trained) models, shedding light on the new challenges and opportunities arising during the HPT process for robust models.

Adversarial Robustness

CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots

1 code implementation18 Jan 2023 Md Abir Hossen, Sonam Kharade, Bradley Schmerl, Javier Cámara, Jason M. O'Kane, Ellen C. Czaplinski, Katherine A. Dzurilla, David Garlan, Pooyan Jamshidi

Finding the root cause of such faults is challenging due to the exponentially large configuration space and the dependencies between the robot's configuration settings and performance.

HyperJump: Accelerating HyperBand via Risk Modelling

1 code implementation5 Aug 2021 Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan

In the literature on hyper-parameter tuning, a number of recent solutions rely on low-fidelity observations (e. g., training with sub-sampled datasets) in order to efficiently identify promising configurations to be then tested via high-fidelity observations (e. g., using the full dataset).

TrimTuner: Efficient Optimization of Machine Learning Jobs in the Cloud via Sub-Sampling

no code implementations9 Nov 2020 Pedro Mendes, Maria Casimiro, Paolo Romano, David Garlan

This work introduces TrimTuner, the first system for optimizing machine learning jobs in the cloud to exploit sub-sampling techniques to reduce the cost of the optimization process while keeping into account user-specified constraints.

BIG-bench Machine Learning

Tradeoff-Focused Contrastive Explanation for MDP Planning

no code implementations27 Apr 2020 Roykrong Sukkerd, Reid Simmons, David Garlan

In this work, we contribute an approach, based on contrastive explanation, that enables a multi-objective MDP planning agent to explain its decisions in a way that communicates its tradeoff rationale in terms of the domain-level concepts.

Decision Making Robot Navigation

Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots

1 code implementation10 Mar 2019 Pooyan Jamshidi, Javier Cámara, Bradley Schmerl, Christian Kästner, David Garlan

Modern cyber-physical systems (e. g., robotics systems) are typically composed of physical and software components, the characteristics of which are likely to change over time.

BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.