4 citations · 11 across the 26 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples
Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia
The design of additive imperceptible perturbations to the inputs of deep classifiers to maximize their misclassification rates is a central focus of adversarial machine learning. A…
eess.SY2021
Controller Synthesis for Omega-Regular and Steady-State Specifications
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus +2
Given a Markov decision process (MDP) and a linear-time (-regular or LTL) specification, the controller synthesis problem aims to compute the optimal policy that satisfies the s…