XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Magazine: Features
Formal methods enhance deep learning for smart cities

challenges and future directions

Formal methods enhance deep learning for smart cities

challenges and future directions

By ,

Full text also available in the ACM Digital Library as PDF | HTML | Digital Edition

Tags: Embedded and cyber-physical systems, Formal methods, Logic

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.