Login / Signup
Mohammad Yasrebi
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Automated Verification
Alternating Time Temporal Logic
Model Checking
Complex Software Systems
Top Venues
J. Intell. Fuzzy Syst.
</>
Publications
</>
Mohammad Yasrebi
,
Vahid Rafe
,
Hamid Parvin
,
Samad Nejatian
An efficient approach to state space management in model checking of complex software systems using machine learning techniques.
J. Intell. Fuzzy Syst.
38 (2) (2020)