Andre Beckus

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 24

Top Topics

Expected Reward

Community Detection

Markov Decision Process

Top Venues

IEEE Trans. Image Process.

Publications

Adis Delanovic, Carmen Chiu, Andre Beckus
Airlift Challenge: A Competition for Optimizing Cargo Delivery. CoRR (2024)
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 R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences. IEEE Trans. Artif. Intell. 5 (7) (2024)
Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. 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)
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning. ICAPS (2022)
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)
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes. CoRR (2021)
Yicong He, Andre Beckus, George K. Atia
Scalable Community Detection in the Degree-Corrected Stochastic Block Model. MLSP (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)
Mostafa Rahmani, Andre Beckus, Adel Karimian, George K. Atia
Scalable and Robust Community Detection With Randomized Sketching. IEEE Trans. Signal Process. 68 (2020)
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
Steady-State Policy Synthesis in Multichain Markov Decision Processes. IJCAI (2020)
Andre Beckus, George K. Atia
Sketch-based community detection in evolving networks. CoRR (2020)
Mahlagha Sedghi, Andre Beckus, George K. Atia
Sketch-based Community Detection via Representative Node Sampling. ICPR (2020)
Andre Beckus, George K. Atia
Scalable Community Detection In The Heterogeneous Stochastic Block Model. MLSP (2019)
Andre Beckus, George K. Atia
A Sequential and Scalable Approach to Community Detection in Dynamic Graphs. Allerton (2019)
Andre Beckus, Alexandru Tamasan, George K. Atia
Multi-Modal Non-Line-of-Sight Passive Imaging. IEEE Trans. Image Process. 28 (7) (2019)
Andre Beckus, Alexandru Tamasan, George K. Atia
Multi-modal Non-line-of-sight Passive Imaging. CoRR (2018)
Mostafa Rahmani, Adel Karimian, Andre Beckus, George K. Atia
Randomized Robust Matrix Completion for the Community Detection Problem. CoRR (2018)
Adel Karimian, Mostafa Rahmani, Andre Beckus, George K. Atia
Randomized Robust matrix Completion for the Community Detection Problem. ACSSC (2018)