Generation and verification of learned stochastic automata using k-NN and statistical model checking - Baouya, Abdelhakim; Chehida, Salim; Ouchani, Samir; Bensalem, Saddek; Bozga, Marius (Applied intelligence (Dordrecht, Netherlands), 2022)
Keywords: Algorithms; Approximation; Artificial Intelligence; Computer Science; Forecasting; Infrastructure; Internet of Things; Machine Learning; Machines; Manufacturing; Markov analysis; Mechanical Engineering; Neural networks; Processes; Sensors; Statistical methods; Statistical models; Temporal logic; Verification; Water supply systems; Stochastic automata; Sensors; Learning automata; Temporal logic; Statistical model checking