Model Checking Verification of MultiLayer Perceptrons in Datalog: a Many-valued Approach with Typicality.
Francesco BartoliMarco BottaRoberto EspositoLaura GiordanoDaniele Theseider DupréPublished in: Datalog (2022)
Keyphrases
- model checking
- multilayer perceptron
- temporal logic
- modal logic
- automated verification
- formal verification
- neural network
- verification method
- model checker
- artificial neural networks
- expressive power
- radial basis function
- pspace complete
- deductive databases
- neural network model
- back propagation
- temporal properties
- formal specification
- partial order reduction
- concurrent systems
- bounded model checking
- symbolic model checking
- finite state machines
- timed automata
- logic programming
- formal methods
- computation tree logic
- asynchronous circuits
- learning algorithm
- process algebra
- genetic algorithm
- search space
- query language
- satisfiability problem
- epistemic logic
- integrity constraints
- belief networks
- transition systems
- multi agent systems
- linear time temporal logic
- fixpoint