Login / Signup

On minimising the maximum expected verification time.

Toni ManciniFederico MariAnnalisa MassiniIgor MelattiIvano SalvoEnrico Tronci
Published in: Inf. Process. Lett. (2017)
Keyphrases
  • model checking
  • neural network
  • face verification
  • formal verification
  • real time
  • data sets
  • learning algorithm
  • metadata
  • verification method