Anyone with a software engineering background interested probabilistic model checking and learning automata should check out the work from ICSAS led by Prof. Li

Anyone with a software engineering background interested probabilistic model checking and learning automata should check out the work from ICSAS led by Prof. Lijun Zhang, Yong Li and Andrea Turrini. In particular their work on ePMC and ROLL are really excellent: https://github.com/ISCAS-PMC/ePMC https://github.com/ISCAS-PMC/ePMC https://github.com/ISCAS-PMC/roll-library https://github.com/ISCAS-PMC/roll-library Storm is another probabilistic model checker from RWTH Aachen, developed Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk et al. at , which has a nice Python API: https://www.stormchecker.org https://www.stormchecker.org