Search Results for author: George Pappas

Found 9 papers, 3 papers with code

Risk Verification of Stochastic Systems with Neural Network Controllers

no code implementations26 Aug 2022 Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George Pappas

Motivated by the fragility of neural network (NN) controllers in safety-critical applications, we present a data-driven framework for verifying the risk of stochastic dynamical systems with NN controllers.

Toward Certified Robustness Against Real-World Distribution Shifts

1 code implementation8 Jun 2022 Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George Pappas, Hamed Hassani, Corina Pasareanu, Clark Barrett

We consider the problem of certifying the robustness of deep neural networks against real-world distribution shifts.

Exploiting Heterogeneity in Robust Federated Best-Arm Identification

no code implementations13 Sep 2021 Aritra Mitra, Hamed Hassani, George Pappas

We study a federated variant of the best-arm identification problem in stochastic multi-armed bandits: a set of clients, each of whom can sample only a subset of the arms, collaborate via a server to identify the best arm (i. e., the arm with the highest mean reward) with prescribed confidence.

Multi-Armed Bandits

Autoencoder-driven Spiral Representation Learning for Gravitational Wave Surrogate Modelling

no code implementations9 Jul 2021 Paraskevi Nousi, Styliani-Christina Fragkouli, Nikolaos Passalis, Panagiotis Iosif, Theocharis Apostolatos, George Pappas, Nikolaos Stergioulas, Anastasios Tefas

Based on this finding, we design a spiral module with learnable parameters, that is used as the first layer in a neural network, which learns to map the input space to the coefficients.

Astronomy Representation Learning

Can supermassive black hole shadows test the Kerr metric?

no code implementations26 Feb 2021 Kostas Glampedakis, George Pappas

The unprecedented image of the M87* supermassive black hole has sparked some controversy over its usefulness as a test of the general relativistic Kerr metric.

General Relativity and Quantum Cosmology High Energy Astrophysical Phenomena

A Temporal Logic-Based Hierarchical Network Connectivity Controller

no code implementations1 Sep 2020 Hans Riess, Yiannis Kantaros, George Pappas, Robert Ghrist

We show that these constraints along with the requirement of propagating information in the network can be captured by a Linear Temporal Logic (LTL) framework.

The surface of rapidly-rotating neutron stars: implications to neutron star parameter estimation

1 code implementation12 Aug 2020 Hector O. Silva, George Pappas, Nicolás Yunes, Kent Yagi

We also find evidence that the formula currently used by NICER can be used in the inference of the radii of rapidly rotating stars, outside of the formula's domain of validity.

High Energy Astrophysical Phenomena General Relativity and Quantum Cosmology

Online Learning of the Kalman Filter with Logarithmic Regret

no code implementations12 Feb 2020 Anastasios Tsiamis, George Pappas

When the system model is unknown, we have to learn how to predict observations online based on finite data, suffering possibly a non-zero regret with respect to the Kalman filter's prediction.

Time Series Analysis

Learning Decentralized Controllers for Robot Swarms with Graph Neural Networks

1 code implementation25 Mar 2019 Ekaterina Tolstaya, Fernando Gama, James Paulos, George Pappas, Vijay Kumar, Alejandro Ribeiro

We consider the problem of finding distributed controllers for large networks of mobile robots with interacting dynamics and sparsely available communications.

Robotics

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