Soft Computing Journal - Articles List

Main Subjects = Model Checking

An approach to accelerate policy iteration for probabilistic model checking of Markov decision processes using machine learning

Volume 11, Issue 2, February 2023, Pages 134-148

10.22052/scj.2023.243360.1029

Mohammadsadegh Mohagheghi

Soft Computing Journal

Journal Archive

Volume 13 (2024)

Volume 12 (2023)

Volume 11 (2022)

Volume 10 (2021)

Volume 9 (2020)

Volume 8 (2019)

Volume 7 (2018)

Volume 6 (2017)

Volume 5 (2016)

Volume 4 (2015)

Volume 3 (2014)

Volume 2 (2013)

Volume 1 (2012)