Login / Signup
Mohsen Ghaffari
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Specification Languages
Software Components
Object Oriented Design
Formal Specification
Top Venues
Proc. ACM Program. Lang.
Expert Syst. Appl.
</>
Publications
</>
Mansoor Davoodi
,
Mohsen Ghaffari
Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility.
Expert Syst. Appl.
213 (Part) (2023)
Mahsa Varshosaz
,
Mohsen Ghaffari
,
Einar Broch Johnsen
,
Andrzej Wasowski
Formal Specification and Testing for Reinforcement Learning.
Proc. ACM Program. Lang.
7 (ICFP) (2023)