Formally Explaining Neural Networks within Reactive Systems.
Shahaf BassanGuy AmirDavide CorsiIdan RefaeliGuy KatzPublished in: CoRR (2023)
Keyphrases
- reactive systems
- neural network
- model checking
- temporal logic
- petri net
- information flow
- pattern recognition
- formal methods
- control flow
- recurrent neural networks
- artificial neural networks
- neural network model
- state machines
- fuzzy logic
- formal specification
- back propagation
- real time systems
- artificial intelligence
- genetic algorithm