APA (7th ed.) Citation

Baouya, A., Chehida, S., Ouchani, S., Bensalem, S., & Bozga, M. (2022). Generation and verification of learned stochastic automata using k-NN and statistical model checking. Applied intelligence (Dordrecht, Netherlands), 52(8), 8874-8894. https://doi.org/10.1007/s10489-021-02884-4

Chicago Style (17th ed.) Citation

Baouya, Abdelhakim, Salim Chehida, Samir Ouchani, Saddek Bensalem, and Marius Bozga. "Generation and Verification of Learned Stochastic Automata Using K-NN and Statistical Model Checking." Applied Intelligence (Dordrecht, Netherlands) 52, no. 8 (2022): 8874-8894. https://doi.org/10.1007/s10489-021-02884-4.

MLA (9th ed.) Citation

Baouya, Abdelhakim, et al. "Generation and Verification of Learned Stochastic Automata Using K-NN and Statistical Model Checking." Applied Intelligence (Dordrecht, Netherlands), vol. 52, no. 8, 2022, pp. 8874-8894, https://doi.org/10.1007/s10489-021-02884-4.