Provably Safe Neural Network Controllers via Differential Dynamic Logic.
Samuel TeuberStefan MitschAndré PlatzerPublished in: CoRR (2024)
Keyphrases
- dynamic logic
- neural network
- modal logic
- reasoning about actions
- imperative programs
- artificial neural networks
- control system
- recurrent neural networks
- prediction model
- fuzzy logic
- back propagation
- self organizing maps
- propositional dynamic logic
- fault diagnosis
- feed forward
- genetic algorithm
- agent programming
- multiple input
- neural network is trained
- machine learning