Randomized Robust matrix Completion for the Community Detection Problem. - Adel Karimian; Mostafa Rahmani; Andre Beckus; George K. Atia (ACSSC, 2018)

A Sequential and Scalable Approach to Community Detection in Dynamic Graphs. - Andre Beckus; George K. Atia (Allerton, 2019)

Scalable Community Detection In The Heterogeneous Stochastic Block Model. - Andre Beckus; George K. Atia (MLSP, 2019)

Multi-Modal Non-Line-of-Sight Passive Imaging. - Andre Beckus; Alexandru Tamasan; George K. Atia (IEEE Trans. Image Process., 2019)

Sketch-based Community Detection via Representative Node Sampling. - Mahlagha Sedghi; Andre Beckus; George K. Atia (ICPR, 2020)

Steady-State Policy Synthesis in Multichain Markov Decision Processes. - George K. Atia; Andre Beckus; Ismail Alkhouri; Alvaro Velasquez (IJCAI, 2020)

Sketch-based community detection in evolving networks. - Andre Beckus; George K. Atia (CoRR, 2020)

Verifiable Planning in Expected Reward Multichain MDPs. - George K. Atia; Andre Beckus; Ismail Alkhouri; Alvaro Velasquez (CoRR, 2020)

Scalable and Robust Community Detection With Randomized Sketching. - Mostafa Rahmani; Andre Beckus; Adel Karimian; George K. Atia (IEEE Trans. Signal Process., 2020)

Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. - Alvaro Velasquez; Brett Bissey; Lior Barak; Andre Beckus; Ismail Alkhouri; Daniel Melcer; George K. Atia (AAAI, 2021)

Scalable Community Detection in the Degree-Corrected Stochastic Block Model. - Yicong He; Andre Beckus; George K. Atia (MLSP, 2021)

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. - Alvaro Velasquez; Andre Beckus; Taylor Dohmen; Ashutosh Trivedi 001; Noah Topper; George K. Atia (CoRR, 2021)

Steady-State Planning in Expected Reward Multichain MDPs. - George K. Atia; Andre Beckus; Ismail Alkhouri; Alvaro Velasquez (J. Artif. Intell. Res., 2021)

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. - Taylor Dohmen; Noah Topper; George K. Atia; Andre Beckus; Ashutosh Trivedi 001; Alvaro Velasquez (ICAPS, 2022)

Multi-Agent Tree Search with Dynamic Reward Shaping. - Alvaro Velasquez; Brett Bissey; Lior Barak; Daniel Melcer; Andre Beckus; Ismail Alkhouri; George K. Atia (ICAPS, 2022)

Controller Synthesis for Omega-Regular and Steady-State Specifications. - Alvaro Velasquez; Ismail Alkhouri; Andre Beckus; Ashutosh Trivedi 001; George K. Atia (AAMAS, 2022)

On the Robustness of AlphaFold: A COVID-19 Case Study. - Ismail Alkhouri; Sumit Kumar Jha 001; Andre Beckus; George K. Atia; Alvaro Velasquez; Rickard Ewetz; Arvind Ramanathan; Susmit Jha (CoRR, 2023)

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. - Suraj Singireddy; Andre Beckus; George K. Atia; Sumit Kumar Jha 001; Alvaro Velasquez (CoRR, 2023)

Airlift Challenge: A Competition for Optimizing Cargo Delivery. - Adis Delanovic; Carmen Chiu; Andre Beckus (CoRR, 2024)

Controller synthesis for linear temporal logic and steady-state specifications. - Alvaro Velasquez; Ismail Alkhouri; Andre Beckus; Ashutosh Trivedi 001; George K. Atia (Auton. Agents Multi Agent Syst., 2024)

Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. - Ismail R. Alkhouri; Sumit Kumar Jha 001; Andre Beckus; George K. Atia; Susmit Jha; Rickard Ewetz; Alvaro Velasquez (IEEE Trans. Artif. Intell., 2024)