12 citations · 20 across the 4 of their papers we have counts for
5 papers
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes (Technical Report)
Florent Delgrange, Ann Nowé, Guillermo A. Pérez
We consider the challenge of policy simplification and verification in the context of policies learned through reinforcement learning (RL) in continuous environments. In well-behav…
Adversarial Patch Camouflage against Aerial Detection
Ajaya Adhikari, Richard den Hollander, Ioannis Tolios +9
Detection of military assets on the ground can be performed by applying deep learning-based object detectors on drone surveillance footage. The traditional way of hiding military a…
Safe Learning for Near Optimal Scheduling
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha +2
In this paper, we investigate the combination of synthesis, model-based learning, and online sampling techniques to obtain safe and near-optimal schedulers for a preemptible task s…
Robustness Verification for Classifier Ensembles
Dennis Gross, Nils Jansen, Guillermo A. Pérez +1
We give a formal verification procedure that decides whether a classifier ensemble is robust against arbitrary randomized attacks. Such attacks consist of a set of deterministic at…
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework
Floris Geerts, Filip Mazowiecki, Guillermo A. Pérez
In this paper we cast neural networks defined on graphs as message-passing neural networks (MPNNs) in order to study the distinguishing power of different classes of such models. W…