Andre Beckus

25 papers A* 4A 1B 2Misc 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Intent-based Networking for Distributed Command-and-Control Systems: A Conceptual Framework with System of Systems.
SMC
Ali K. Raz, Michael Hieb, Dan Maxwell, Vladimir Omelko, Andre Beckus, Ryan Hilliard
2024 J jnl
Airlift Challenge: A Competition for Optimizing Cargo Delivery.
CoRR
Adis Delanovic, Carmen Chiu, Andre Beckus
2024 J jnl
Controller synthesis for linear temporal logic and steady-state specifications.
Auton. Agents Multi Agent Syst.
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2024 J jnl
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences.
IEEE Trans. Artif. Intell.
Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2023 J jnl
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.
CoRR
Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez
2023 J jnl
On the Robustness of AlphaFold: A COVID-19 Case Study.
CoRR
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
2022 A conf
Controller Synthesis for Omega-Regular and Steady-State Specifications.
AAMAS
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2022 A* conf
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.
ICAPS
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
2022 A* conf
Multi-Agent Tree Search with Dynamic Reward Shaping.
ICAPS
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
2021 J jnl
Controller Synthesis for Omega-Regular and Steady-State Specifications.
CoRR
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
2021 A* conf
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.
AAAI
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
2021 J jnl
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.
CoRR
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
2021 — conf
Scalable Community Detection in the Degree-Corrected Stochastic Block Model.
MLSP
Yicong He, Andre Beckus, George K. Atia
2021 J jnl
Steady-State Planning in Expected Reward Multichain MDPs.
J. Artif. Intell. Res.
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 J jnl
Scalable and Robust Community Detection With Randomized Sketching.
IEEE Trans. Signal Process.
Mostafa Rahmani, Andre Beckus, Adel Karimian, George K. Atia
2020 B conf
Sketch-based Community Detection via Representative Node Sampling.
ICPR
Mahlagha Sedghi, Andre Beckus, George K. Atia
2020 J jnl
Sketch-based community detection in evolving networks.
CoRR
Andre Beckus, George K. Atia
2020 A* conf
Steady-State Policy Synthesis in Multichain Markov Decision Processes.
IJCAI
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 J jnl
Verifiable Planning in Expected Reward Multichain MDPs.
CoRR
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2019 — conf
A Sequential and Scalable Approach to Community Detection in Dynamic Graphs.
Allerton
Andre Beckus, George K. Atia
2019 J jnl
Multi-Modal Non-Line-of-Sight Passive Imaging.
IEEE Trans. Image Process.
Andre Beckus, Alexandru Tamasan, George K. Atia
2019 — conf
Scalable Community Detection In The Heterogeneous Stochastic Block Model.
MLSP
Andre Beckus, George K. Atia
2018 J jnl
Multi-modal Non-line-of-sight Passive Imaging.
CoRR
Andre Beckus, Alexandru Tamasan, George K. Atia
2018 J jnl
Randomized Robust Matrix Completion for the Community Detection Problem.
CoRR
Mostafa Rahmani, Adel Karimian, Andre Beckus, George K. Atia
2018 Misc conf
Randomized Robust matrix Completion for the Community Detection Problem.
ACSSC
Adel Karimian, Mostafa Rahmani, Andre Beckus, George K. Atia