@article{DBLP:journals/corr/abs-1905-07028,
	Archiveprefix = {arXiv},
	Author = {Laszlo Treszkai and Vaishak Belle},
	Bibsource = {dblp computer science bibliography, https://dblp.org},
	Biburl = {https://dblp.org/rec/bib/journals/corr/abs-1905-07028},
	Date-Added = {2019-06-07 12:09:58 +0100},
	Date-Modified = {2019-06-07 12:09:58 +0100},
	Eprint = {1905.07028},
	Journal = {CoRR},
	Timestamp = {Tue, 28 May 2019 12:48:08 +0200},
	Title = {A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains},
	Url = {http://arxiv.org/abs/1905.07028},
	Volume = {abs/1905.07028},
	Year = {2019},
	Bdsk-Url-1 = {http://arxiv.org/abs/1905.07028}}

{"_id":"zGm4s8PE5zG7sCqQ6","bibbaseid":"treszkai-belle-acorrectnessresultforsynthesizingplanswithloopsinstochasticdomains-2019","authorIDs":["545792562abc8e9f37000523","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"author_short":["Treszkai, L.","Belle, V."],"bibdata":{"bibtype":"article","type":"article","archiveprefix":"arXiv","author":[{"firstnames":["Laszlo"],"propositions":[],"lastnames":["Treszkai"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1905-07028","date-added":"2019-06-07 12:09:58 +0100","date-modified":"2019-06-07 12:09:58 +0100","eprint":"1905.07028","journal":"CoRR","timestamp":"Tue, 28 May 2019 12:48:08 +0200","title":"A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains","url":"http://arxiv.org/abs/1905.07028","volume":"abs/1905.07028","year":"2019","bdsk-url-1":"http://arxiv.org/abs/1905.07028","bibtex":"@article{DBLP:journals/corr/abs-1905-07028,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Laszlo Treszkai and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1905-07028},\n\tDate-Added = {2019-06-07 12:09:58 +0100},\n\tDate-Modified = {2019-06-07 12:09:58 +0100},\n\tEprint = {1905.07028},\n\tJournal = {CoRR},\n\tTimestamp = {Tue, 28 May 2019 12:48:08 +0200},\n\tTitle = {A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains},\n\tUrl = {http://arxiv.org/abs/1905.07028},\n\tVolume = {abs/1905.07028},\n\tYear = {2019},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1905.07028}}\n\n","author_short":["Treszkai, L.","Belle, V."],"key":"DBLP:journals/corr/abs-1905-07028","id":"DBLP:journals/corr/abs-1905-07028","bibbaseid":"treszkai-belle-acorrectnessresultforsynthesizingplanswithloopsinstochasticdomains-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1905.07028"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib&msg=embed"}},"downloads":0},"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","creationDate":"2019-06-07T11:11:38.019Z","downloads":0,"keywords":[],"search_terms":["correctness","result","synthesizing","plans","loops","stochastic","domains","treszkai","belle"],"title":"A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains","year":2019,"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}