2 papers
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…