Correct-by-Construction Runtime Enforcement in AI - A Survey.
Bettina KönighoferRoderick BloemRüdiger EhlersChristian PekPublished in: CoRR (2022)
Keyphrases
- artificial intelligence
- case based reasoning
- access control
- data sets
- ai community
- lecture notes in artificial intelligence
- computational intelligence
- management system
- expert systems
- database
- multiscale
- bayesian networks
- evolutionary algorithm
- xml documents
- knowledge representation
- information systems
- computer vision
- search engine
- machine learning
- operating system
- fine grained
- databases
- intelligent behavior