Correct-by-Construction Runtime Enforcement in AI - A Survey.
Bettina KönighoferRoderick BloemRüdiger EhlersChristian PekPublished in: Principles of Systems Design (2022)
Keyphrases
- artificial intelligence
- ai systems
- construction process
- case based reasoning
- machine learning
- expert systems
- neural network
- ai technologies
- ai methods
- real world
- knowledge representation
- information processing
- lecture notes in artificial intelligence
- decision making
- genetic algorithm
- data sets
- areas of artificial intelligence
- artificial intelligence in education