research
∙
01/10/2023
On the Robustness of AlphaFold: A COVID-19 Case Study
Protein folding neural networks (PFNNs) such as AlphaFold predict remark...
share
research
∙
07/09/2021
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes
The success of reinforcement learning in typical settings is, in part, p...
research
∙
06/05/2021
Controller Synthesis for Omega-Regular and Steady-State Specifications
Given a Markov decision process (MDP) and a linear-time (ω-regular or LT...
research
∙
12/03/2020
Verifiable Planning in Expected Reward Multichain MDPs
The planning domain has experienced increased interest in the formal syn...
research
∙
09/24/2020
Sketch-based community detection in evolving networks
We consider an approach for community detection in time-varying networks...
research
∙
07/06/2018
Multi-modal Non-line-of-sight Passive Imaging
We consider the non-line-of-sight (NLOS) imaging of an object using ligh...
research
∙
05/25/2018
