Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz

Published in: FMCAD (2023)

Keyphrases

reactive systems
neural network
model checking
temporal logic
information flow
petri net
artificial neural networks
genetic algorithm
pattern recognition
control flow
formal methods
real time systems
state machines
database
recurrent neural networks
fuzzy logic
information systems
real time