Publication | Open Access
Smart sampling for lightweight verification of Markov decision processes
55
Citations
28
References
2015
Year
EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal MethodsProbabilistic ComputationComputer ScienceLightweight VerificationFormal VerificationMarkov Decision Process
| Year | Citations | |
|---|---|---|
Page 1
Page 1