Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version).

Mahum Naseer Osman Hasan Muhammad Shafique

Published in: CoRR (2023)

Keyphrases

model checking
temporal logic
space reduction
finite state machines
formal specification
symbolic model checking
transition systems
formal verification
finite state
timed automata
abstract interpretation
machine learning
artificial intelligence
feature space
concurrent systems
reachability analysis