Publication | Open Access
On minimising the maximum expected verification time
16
Citations
30
References
2017
Year
Mathematical ProgrammingEngineeringVerification TimeProbabilistic VerificationVerificationAlgorithmic Information TheoryComputer-aided VerificationComputational ComplexityComputer ScienceCombinatorial OptimizationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1