State ordering and classification for analyzing non-sparse large Markov models von Mohagheghi, Mohammadsadegh

Volltext

Improving Probabilistic Bisimulation for MDPs Using Machine Learning von Mohammadsadegh Mohagheghi, Khayyam Salehi

Volltext

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models von Mohagheghi, Mohammadsadegh, Karimpour, Jaber, Isazadeh, Ayaz

Volltext

Improving modified policy iteration for probabilistic model checking von Mohagheghi, Mohammadsadegh, Karimpour, Jaber

Volltext

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models von Mohagheghi, Mohammadsadegh, Chaboki, Behrang

Volltext

Time-Abstracting Bisimulation for Markovian Timed Automata von Mohagheghi, MohammadSadegh, Sharifi, Hojjat

Volltext

Splitter Orderings for Probabilistic Bisimulation von Mohagheghi, Mohammadsadegh, Salehi, Khayyam

Volltext bestellen

An Automated Quantitative Information Flow Analysis for Concurrent Programs von Salehi, Khayyam, Noroozi, Ali A., Amir-Mohammadian, Sepehr, Mohagheghi, Mohammadsadegh

Volltext

Splitter Orderings for Probabilistic Bisimulation von Mohagheghi, Mohammadsadegh, Salehi, Khayyam

Volltext

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization von Azeem, Muqsit, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian

Volltext bestellen

Improved Iterative Methods for Verifying Markov Decision Processes von Karimpour, Jaber, Isazadeh, Ayaz, Mohagheghi, MohammadSadegh, Salehi, Khayyam

Volltext

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization von Muqsit Azeem, Chakraborty, Debraj, Kanav, Sudeep, Kretinsky, Jan, Mohagheghi, Mohammadsadegh, Mohr, Stefanie, Weininger, Maximilian

Volltext