Formal methods enhance deep learning for smart cities: challenges and future directions.
Meiyi MaPublished in: XRDS (2022)
Keyphrases
- future directions
- formal methods
- deep learning
- lessons learned
- current challenges
- smart cities
- smart city
- unsupervised learning
- machine learning
- advanced technologies
- model checking
- knowledge based systems
- artificial intelligence
- case study
- formal specification
- real world
- mental models
- weakly supervised
- current status
- knowledge base
- software engineering
- service integration
- world wide
- information retrieval
- user interface
- decision trees
- expert systems
- database systems