@inproceedings{Cimatti+al:1998,
	year = 1998,
	author = "Alessandro Cimatti and Marco Roveri and Paolo Traverso",
	title = "Automatic {OBDD}-based generation of universal plans in non-deterministic domains",
	booktitle = aaai98,
	_publisher = aaai98-pub,
	_address = aaai98-ad,
 _pages = "875--881"
}

{"_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","year":"1998","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Traverso"],"suffixes":[]}],"title":"Automatic OBDD-based generation of universal plans in non-deterministic domains","booktitle":"AAAI-98","_publisher":"AAAI Press","_address":"Madison, Wisconsin","_pages":"875–881","bibtex":"@inproceedings{Cimatti+al:1998,\n\tyear = 1998,\n\tauthor = \"Alessandro Cimatti and Marco Roveri and Paolo Traverso\",\n\ttitle = \"Automatic {OBDD}-based generation of universal plans in non-deterministic domains\",\n\tbooktitle = aaai98,\n\t_publisher = aaai98-pub,\n\t_address = aaai98-ad,\n _pages = \"875--881\"\n}\n\n","author_short":["Cimatti, A.","Roveri, M.","Traverso, P."],"key":"Cimatti+al:1998","id":"Cimatti+al:1998","bibbaseid":"cimatti-roveri-traverso-automaticobddbasedgenerationofuniversalplansinnondeterministicdomains-1998","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://aima.cs.berkeley.edu/aima4e.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","cx4WvnDhXJhiLqdQo"]}