Search Results for author: Alexandre Megretski

Found 8 papers, 3 papers with code

Robust Deep Reinforcement Learning through Adversarial Loss

2 code implementations NeurIPS 2021 Tuomas Oikarinen, Wang Zhang, Alexandre Megretski, Luca Daniel, Tsui-Wei Weng

To address this issue, we propose RADIAL-RL, a principled framework to train reinforcement learning agents with improved robustness against $l_p$-norm bounded adversarial attacks.

Adversarial Attack Atari Games +3

One step closer to unbiased aleatoric uncertainty estimation

1 code implementation16 Dec 2023 Wang Zhang, Ziwen Ma, Subhro Das, Tsui-Wei Weng, Alexandre Megretski, Luca Daniel, Lam M. Nguyen

Neural networks are powerful tools in various applications, and quantifying their uncertainty is crucial for reliable decision-making.

Decision Making

Convex Parameterizations and Fidelity Bounds for Nonlinear Identification and Reduced-Order Modelling

no code implementations23 Jan 2017 Mark M. Tobenkin, Ian R. Manchester, Alexandre Megretski

Model instability and poor prediction of long-term behavior are common problems when modeling dynamical systems using nonlinear "black-box" techniques.

Robust Online Control with Model Misspecification

no code implementations16 Jul 2021 Xinyi Chen, Udaya Ghai, Elad Hazan, Alexandre Megretski

We study online control of an unknown nonlinear dynamical system that is approximated by a time-invariant linear system with model misspecification.

Efficient Certification for Probabilistic Robustness

no code implementations29 Sep 2021 Victor Rong, Alexandre Megretski, Luca Daniel, Tsui-Wei Weng

Recent developments on the robustness of neural networks have primarily emphasized the notion of worst-case adversarial robustness in both verification and robust training.

Adversarial Robustness

Tactics on Refining Decision Boundary for Improving Certification-based Robust Training

no code implementations29 Sep 2021 Wang Zhang, Lam M. Nguyen, Subhro Das, Pin-Yu Chen, Sijia Liu, Alexandre Megretski, Luca Daniel, Tsui-Wei Weng

In verification-based robust training, existing methods utilize relaxation based methods to bound the worst case performance of neural networks given certain perturbation.

Mathematical certification of motion planning on uncertain terrain with limited perception: a case study

no code implementations30 Aug 2022 Nikolaos Skouloudis, Alexandre Megretski

We design a controller for an agent whose mission is to reach a stationary target while avoiding a family of obstacles which are not known a-priori.

Motion Planning

ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction

1 code implementation11 Feb 2023 Wang Zhang, Tsui-Wei Weng, Subhro Das, Alexandre Megretski, Luca Daniel, Lam M. Nguyen

Deep neural networks (DNN) have shown great capacity of modeling a dynamical system; nevertheless, they usually do not obey physics constraints such as conservation laws.

Contrastive Learning

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