Publikationer pr. år
Publikationer pr. år
- 3 resultater
Søgeresultater
-
2023
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, I: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, s. 125-158 33 s., 193.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning
Åben adgangFil -
Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility
Davoodi Monfared, M. & Ghaffari, M., 2023, I: Expert Systems With Applications. 213, Part B, 119043.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review