iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/cav/SunFCG23.nt
. . . . "Yican Sun et al.: Automated Tail Bound Analysis for Probabilistic Recurrence Relations. (2023)" . . _:ID_71fc93f9f5e3dc00583539b2f08c603f . _:ID_71fc93f9f5e3dc00583539b2f08c603f . _:ID_71fc93f9f5e3dc00583539b2f08c603f . _:ID_71fc93f9f5e3dc00583539b2f08c603f . _:ID_71fc93f9f5e3dc00583539b2f08c603f "conf/cav/SunFCG23" . _:ID_a05bcc6efd66e0c31910cfa59b60586c . _:ID_a05bcc6efd66e0c31910cfa59b60586c . _:ID_a05bcc6efd66e0c31910cfa59b60586c . _:ID_a05bcc6efd66e0c31910cfa59b60586c . _:ID_a05bcc6efd66e0c31910cfa59b60586c "10.1007/978-3-031-37709-9_2" . "Automated Tail Bound Analysis for Probabilistic Recurrence Relations." . . . . . . . . . . "4"^^ . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 "Yican Sun" . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 "1"^^ . _:Sig_29f663f3df20c5bc102f09acd9c949fb_1 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 "Hongfei Fu 0001" . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 "2"^^ . _:Sig_29f663f3df20c5bc102f09acd9c949fb_2 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 "Krishnendu Chatterjee" . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 "3"^^ . _:Sig_29f663f3df20c5bc102f09acd9c949fb_3 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 "Amir Kafshdar Goharshady" . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 "4"^^ . _:Sig_29f663f3df20c5bc102f09acd9c949fb_4 . . . . . "16-39" . "CAV (3)" . "CAV (3)" . "2023"^^ . "2023"^^ . . "provenance information for RDF data of dblp record 'conf/cav/SunFCG23'" . . . . "2023-09-12T07:57:21+0200" .