Magazine: Features
Formal methods enhance deep learning for smart cities
challenges and future directions
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.
Formal methods enhance deep learning for smart cities
challenges and future directions
Full text also available in the ACM Digital Library as PDF | HTML | Digital Edition
Thank you for your interest in this article. This content is protected. You may log in with your ACM account or subscribe to access the full text.