Tail-Bound Cost Analysis over Nondeterministic Probabilistic Programs
0209 industrial biotechnology
0202 electrical engineering, electronic engineering, information engineering
02 engineering and technology
DOI:
10.1007/s12204-022-2456-z
Publication Date:
2022-06-25T03:21:31Z
AUTHORS (1)
ABSTRACT
SUPPLEMENTAL MATERIAL
Coming soon ....
REFERENCES (44)
CITATIONS (0)
EXTERNAL LINKS
PlumX Metrics
RECOMMENDATIONS
FAIR ASSESSMENT
Coming soon ....
JUPYTER LAB
Coming soon ....