research
∙
05/23/2023
Expressive Losses for Verified Robustness via Convex Combinations
In order to train networks for verified adversarial robustness, previous...
share
research
∙
11/28/2018
Formal Verification of CNN-based Perception Systems
We address the problem of verifying neural-based perception systems impl...
research
∙
06/22/2017
An approach to reachability analysis for feed-forward ReLU neural networks
We study the reachability problem for systems implemented as feed-forwar...
research
∙
01/23/2014
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
We investigate a class of first-order temporal-epistemic logics for reas...
research
∙
01/12/2013