Login / Signup
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