Alert button
Picture for Andre Beckus

Andre Beckus

Alert button

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning

Add code
Bookmark button
Alert button
Oct 29, 2023
Suraj Singireddy, Andre Beckus, George Atia, Sumit Jha, Alvaro Velasquez

Viaarxiv icon

On the Robustness of AlphaFold: A COVID-19 Case Study

Add code
Bookmark button
Alert button
Jan 12, 2023
Ismail Alkhouri, Sumit Jha, Andre Beckus, George Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha

Figure 1 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 2 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 3 for On the Robustness of AlphaFold: A COVID-19 Case Study
Figure 4 for On the Robustness of AlphaFold: A COVID-19 Case Study
Viaarxiv icon

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes

Add code
Bookmark button
Alert button
Jul 09, 2021
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George Atia

Figure 1 for Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes
Figure 2 for Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes
Viaarxiv icon

Controller Synthesis for Omega-Regular and Steady-State Specifications

Add code
Bookmark button
Alert button
Jun 05, 2021
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George Atia

Figure 1 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 2 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 3 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Figure 4 for Controller Synthesis for Omega-Regular and Steady-State Specifications
Viaarxiv icon

Verifiable Planning in Expected Reward Multichain MDPs

Add code
Bookmark button
Alert button
Dec 03, 2020
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez

Figure 1 for Verifiable Planning in Expected Reward Multichain MDPs
Figure 2 for Verifiable Planning in Expected Reward Multichain MDPs
Figure 3 for Verifiable Planning in Expected Reward Multichain MDPs
Figure 4 for Verifiable Planning in Expected Reward Multichain MDPs
Viaarxiv icon

Sketch-based community detection in evolving networks

Add code
Bookmark button
Alert button
Sep 24, 2020
Andre Beckus, George K. Atia

Figure 1 for Sketch-based community detection in evolving networks
Figure 2 for Sketch-based community detection in evolving networks
Figure 3 for Sketch-based community detection in evolving networks
Figure 4 for Sketch-based community detection in evolving networks
Viaarxiv icon

Multi-modal Non-line-of-sight Passive Imaging

Add code
Bookmark button
Alert button
Jul 06, 2018
Andre Beckus, Alexandru Tamasan, George K. Atia

Figure 1 for Multi-modal Non-line-of-sight Passive Imaging
Figure 2 for Multi-modal Non-line-of-sight Passive Imaging
Figure 3 for Multi-modal Non-line-of-sight Passive Imaging
Figure 4 for Multi-modal Non-line-of-sight Passive Imaging
Viaarxiv icon

Randomized Robust Matrix Completion for the Community Detection Problem

Add code
Bookmark button
Alert button
May 25, 2018
Mostafa Rahmani, Adel Karimian, Andre Beckus, George Atia

Figure 1 for Randomized Robust Matrix Completion for the Community Detection Problem
Figure 2 for Randomized Robust Matrix Completion for the Community Detection Problem
Figure 3 for Randomized Robust Matrix Completion for the Community Detection Problem
Viaarxiv icon