Select a category to explore research frontiers
Loading categories...
Development of rigorous specification languages and verification methodologies for establishing robustness, fairness, and safety guarantees in neural networks and deep learning systems.