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
∙
08/05/2021
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples
The design of additive imperceptible perturbations to the inputs of deep...
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
∙
05/10/2019