Article Dans Une Revue
Applied Intelligence
Année : 2022
ABDELHAKIM BAOUYA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03762515
Soumis le : dimanche 28 août 2022-01:02:21
Dernière modification le : jeudi 4 avril 2024-21:13:03
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