3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.AI2024★ 3 cited
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav +4
Despite the advances in probabilistic model checking, the scalability of the verification methods remains limited. In particular, the state space often becomes extremely large when…
cs.LO2023
Improving Probabilistic Bisimulation for MDPs Using Machine Learning
Mohammadsadegh Mohaghegh, Khayyam Salehi
The utilization of model checking has been suggested as a formal verification technique for analyzing critical systems. However, the primary challenge in applying to complex system…
cs.PF2023
Splitter Orderings for Probabilistic Bisimulation
Mohammadsadegh Mohagheghi, Khayyam Salehi
Model checking has been proposed as a formal verification approach for analyzing computer-based and cyber-physical systems. The state space explosion problem is the main obstacle f…