Generation and verification of learned stochastic automata using k-NN and statistical model checking - VERIMAG Accéder directement au contenu
Article Dans Une Revue Applied Intelligence Année : 2022

Generation and verification of learned stochastic automata using k-NN and statistical model checking

Abdelhakim Baouya
Salim Chehida
  • Fonction : Auteur
Saddek Bensalem
  • Fonction : Auteur
Marius Bozga
Fichier non déposé

Dates et versions

hal-03762515 , version 1 (28-08-2022)

Identifiants

Citer

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga, Samir Ouchani. Generation and verification of learned stochastic automata using k-NN and statistical model checking. Applied Intelligence, 2022, 52 (8), pp.8874-8894. ⟨10.1007/s10489-021-02884-4⟩. ⟨hal-03762515⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More