114 citations · 379 across the 34 of their papers we have counts for
5 papers · 1 filter
Minimal Assumptions Refinement for GR(1) Specifications
Davide G. Cavezza, Dalal Alrajeh, Andras Gyorgy
Reactive synthesis is concerned with finding a correct-by-construction controller from formal specifications, typically expressed in Linear Temporal Logic (LTL). The specifications…
Meta-learning of Sequential Strategies
Pedro A. Ortega, Jane X. Wang, Mark Rowland +21
In this report we review memory-based meta-learning as a tool for building sample-efficient strategies that learn from past experience to adapt to any task within a target class. O…
Detecting Overfitting via Adversarial Examples
Roman Werpachowski, András György, Csaba Szepesvári
The repeated community-wide reuse of test sets in popular benchmark problems raises doubts about the credibility of reported test-error rates. Verifying whether a learned model is…
The Best Defense Is a Good Offense: Adversarial Attacks to Avoid Modulation Detection
Muhammad Zaid Hameed, Andras Gyorgy, Deniz Gunduz
We consider a communication scenario, in which an intruder tries to determine the modulation scheme of the intercepted signal. Our aim is to minimize the accuracy of the intruder,…
Reinforcement Learning to Minimize Age of Information with an Energy Harvesting Sensor with HARQ and Sensing Cost
Elif Tuğçe Ceran, Deniz Gündüz, András György
The time average expected age of information (AoI) is studied for status updates sent from an energy-harvesting transmitter with a finite-capacity battery. The optimal scheduling p…