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/cpp/VajjhaSTPF21.nt
. . . . "Koundinya Vajjha et al.: CertRL: formalizing convergence proofs for value and policy iteration in Coq. (2021)" . . _:ID_874717ec0ac7b4d099024ccaf5979a0f . _:ID_874717ec0ac7b4d099024ccaf5979a0f . _:ID_874717ec0ac7b4d099024ccaf5979a0f . _:ID_874717ec0ac7b4d099024ccaf5979a0f . _:ID_874717ec0ac7b4d099024ccaf5979a0f "conf/cpp/VajjhaSTPF21" . _:ID_9ee230311dd31693f870d3505b5e367a . _:ID_9ee230311dd31693f870d3505b5e367a . _:ID_9ee230311dd31693f870d3505b5e367a . _:ID_9ee230311dd31693f870d3505b5e367a . _:ID_9ee230311dd31693f870d3505b5e367a "10.1145/3437992.3439927" . "CertRL: formalizing convergence proofs for value and policy iteration in Coq." . . . . . . . . . . . . "5"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_1 "Koundinya Vajjha" . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_1 "1"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_1 . _:Sig_6dd513333c11628c7f90481226e147cb_2 . _:Sig_6dd513333c11628c7f90481226e147cb_2 . _:Sig_6dd513333c11628c7f90481226e147cb_2 . _:Sig_6dd513333c11628c7f90481226e147cb_2 "Avraham Shinnar" . _:Sig_6dd513333c11628c7f90481226e147cb_2 . _:Sig_6dd513333c11628c7f90481226e147cb_2 "2"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_2 . _:Sig_6dd513333c11628c7f90481226e147cb_3 . _:Sig_6dd513333c11628c7f90481226e147cb_3 . _:Sig_6dd513333c11628c7f90481226e147cb_3 . _:Sig_6dd513333c11628c7f90481226e147cb_3 "Barry M. Trager" . _:Sig_6dd513333c11628c7f90481226e147cb_3 . _:Sig_6dd513333c11628c7f90481226e147cb_3 "3"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_3 . _:Sig_6dd513333c11628c7f90481226e147cb_4 . _:Sig_6dd513333c11628c7f90481226e147cb_4 . _:Sig_6dd513333c11628c7f90481226e147cb_4 . _:Sig_6dd513333c11628c7f90481226e147cb_4 "Vasily Pestun" . _:Sig_6dd513333c11628c7f90481226e147cb_4 . _:Sig_6dd513333c11628c7f90481226e147cb_4 "4"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_4 . _:Sig_6dd513333c11628c7f90481226e147cb_5 . _:Sig_6dd513333c11628c7f90481226e147cb_5 . _:Sig_6dd513333c11628c7f90481226e147cb_5 . _:Sig_6dd513333c11628c7f90481226e147cb_5 "Nathan Fulton" . _:Sig_6dd513333c11628c7f90481226e147cb_5 . _:Sig_6dd513333c11628c7f90481226e147cb_5 "5"^^ . _:Sig_6dd513333c11628c7f90481226e147cb_5 . . . . . "18-31" . "CPP" . "CPP" . "2021"^^ . "2021"^^ . . "provenance information for RDF data of dblp record 'conf/cpp/VajjhaSTPF21'" . . . . "2022-01-08T02:24:36+0100" .