SECTION: Features
Formal methods enhance deep learning for smart cities
Rigorous approaches based on formal methods have the potential to fundamentally improve many aspects of deep learning. This article discusses the challenges and future directions of formal methods enhanced deep learning for smart cities.
By Meiyi Ma, April 2022