Toggle navigation
Home
Browse
Current Issue
By Issue
By Author
By Subject
Author Index
Keyword Index
Journal Info
About Journal
Aims and Scope
Editorial Board
Publication Ethics
Indexing and Abstracting
Related Links
FAQ
Peer Review Process
Journal Metrics
News
Guide for Authors
Submit Manuscript
Reviewers
Reviewer Guideline
Reviewer List
Contact Us
Login
Register
Keywords =
Model checking
Number of Articles:
1
Improving Probabilistic Bisimulation for MDPs Using Machine Learning
Volume 9, Issue 2, June 2024, Pages
151-169
Mohammadsadegh Mohagheghi; Khayyam Salehi
View Article
PDF
693.15 K
Articles in Press
Current Issue
Journal Archive
Volume 9 (2024)
Volume 8 (2023)
Volume 7 (2022)
Volume 6 (2021)
Volume 5 (2020)
Volume 4 (2019)
Volume 3 (2018)
Volume 2 (2017)
Volume 1 (2016)