Ismail Alkhouri

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Controller Synthesis

Expected Reward

Maximum Independent Set

Top Venues

Auton. Agents Multi Agent Syst.

Publications

Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
Controller synthesis for linear temporal logic and steady-state specifications. Auton. Agents Multi Agent Syst. 38 (1) (2024)
Ismail Alkhouri, Shijun Liang, Rongrong Wang, Qing Qu, Saiprasad Ravishankar
Diffusion-Based Adversarial Purification for Robust Deep Mri Reconstruction. ICASSP (2024)
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
Dataless Quadratic Neural Networks for the Maximum Independent Set Problem. CoRR (2024)
Ismail Alkhouri, George K. Atia, Wasfy Mikhael
Fooling the Big Picture in Classification Tasks. Circuits Syst. Signal Process. 42 (4) (2023)
Huijie Zhang, Yifu Lu, Ismail Alkhouri, Saiprasad Ravishankar, Dogyoon Song, Qing Qu
Improving Efficiency of Diffusion Models via Multi-Stage Framework and Tailored Multi-Decoder Architectures. CoRR (2023)
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
On the Robustness of AlphaFold: A COVID-19 Case Study. CoRR (2023)
Shijun Liang, Van Hoang Minh Nguyen, Jinghan Jia, Ismail Alkhouri, Sijia Liu, Saiprasad Ravishankar
Robust MRI Reconstruction by Smoothed Unrolling (SMUG). CoRR (2023)
Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia
Optimal Deterministic Controller Synthesis from Steady-State Distributions. J. Autom. Reason. 67 (1) (2023)
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
Multi-Agent Tree Search with Dynamic Reward Shaping. ICAPS (2022)
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
Controller Synthesis for Omega-Regular and Steady-State Specifications. AAMAS (2022)
Ismail Alkhouri, Alvaro Velasquez, George K. Atia
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples. CoRR (2021)
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. AAAI (2021)
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
Controller Synthesis for Omega-Regular and Steady-State Specifications. CoRR (2021)
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
Steady-State Planning in Expected Reward Multichain MDPs. J. Artif. Intell. Res. 72 (2021)
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
Verifiable Planning in Expected Reward Multichain MDPs. CoRR (2020)
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
Steady-State Policy Synthesis in Multichain Markov Decision Processes. IJCAI (2020)
Ismail Alkhouri, George K. Atia
Adversarial Attacks on Hierarchical Composite Classifiers VIA Convex Programming. MLSP (2020)
Ismail Alkhouri, Zaid Matloub, George K. Atia, Wasfy Mikhael
A Minimax Approach to Perturbation Attacks on Hierarchical Image Classifiers. MWSCAS (2020)
Ismail Alkhouri, George K. Atia, Wasfy Mikhael
Adversarial Perturbation Attacks on GLRT-Based Detectors. ISCAS (2020)
Mohsen Joneidi, Ismail Alkhouri, Nazanin Rahnavard
Large-Scale Spectrum Occupancy Learning via Tensor Decomposition and LSTM Networks. CoRR (2019)