NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Neural Network Robustness and Safety Analysis

Formal verification of adversarial robustness and safety properties in deep neural networks using abstract interpretation and constraint solving.