Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains. Cimatti, A., Roveri, M., & Traverso, P. In Proc. of AAAI, 1998. bibtex @InProceedings{CRT98,
Author = {Cimatti, A. and Roveri, M. and Traverso, P.},
Title = {Automatic {OBDD}-{B}ased {G}eneration of {U}niversal
{P}lans in {N}on-{D}eterministic {D}omains},
BookTitle = {Proc. of AAAI},
year = 1998
}
Downloads: 0
{"_id":{"_str":"5342b73a0e946d920a0033a1"},"__v":17,"authorIDs":["545794da2abc8e9f37000535","545795d52abc8e9f3700053f"],"author_short":["Cimatti, A.","Roveri, M.","Traverso, P."],"bibbaseid":"cimatti-roveri-traverso-automaticobddbasedgenerationofuniversalplansinnondeterministicdomains-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cimatti"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Roveri"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Traverso"],"firstnames":["P."],"suffixes":[]}],"title":"Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains","booktitle":"Proc. of AAAI","year":"1998","bibtex":"@InProceedings{CRT98,\n Author = {Cimatti, A. and Roveri, M. and Traverso, P.},\n Title = {Automatic {OBDD}-{B}ased {G}eneration of {U}niversal\n {P}lans in {N}on-{D}eterministic {D}omains},\n BookTitle = {Proc. of AAAI},\n year = 1998\n}\n\n","author_short":["Cimatti, A.","Roveri, M.","Traverso, P."],"key":"CRT98","id":"CRT98","bibbaseid":"cimatti-roveri-traverso-automaticobddbasedgenerationofuniversalplansinnondeterministicdomains-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["automatic","obdd","based","generation","universal","plans","non","deterministic","domains","cimatti","roveri","traverso"],"title":"Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains","year":1998,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa","SzPGZamk2BCyHJTQr"]}