Improving Probabilistic Bisimulation for MDPs Using Machine Learning
Mohammadsadegh Mohagheghi, Khayyam Salehi
Published in Mathematics interdisciplinary research (Online) (01.06.2024)
Published in Mathematics interdisciplinary research (Online) (01.06.2024)
Get full text
Journal Article
A Railway Scheduling Method using Probabilistic Model Checking
Mohagheghi, Mohammadsadegh, Khademi, Anahita
Published in International journal of engineering and advanced technology (10.10.2019)
Published in International journal of engineering and advanced technology (10.10.2019)
Get full text
Journal Article
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Azeem, Muqsit, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian
Year of Publication 23.10.2024
Year of Publication 23.10.2024
Get full text
Journal Article
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Muqsit Azeem, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian
Published in arXiv.org (23.10.2024)
Get full text
Published in arXiv.org (23.10.2024)
Paper