This paper studies the decoding performance of low-density parity-check(LDPC)codes in a serial concatenation system with polar codes employing the successive ca
Probabilistic model checking hasbeen widely applied to quantitative analy-sis of stochastic systems, e.g., analyzing theperformance, reliability and survivabili