Weak, strong, and strong cyclic planning via symbolic model checking. Cimatti, A., Pistore, M., Roveri, M., & Traverso, P. Artif. Intell., 147(1-2):35-84, 2003. Link Paper bibtex @Article{cimatti03_cyclic,
Author = {Alessandro Cimatti and Marco Pistore and Marco Roveri
and Paolo Traverso},
Title = {Weak, strong, and strong cyclic planning via symbolic
model checking.},
Journal = {Artif. Intell.},
Volume = {147},
Number = {1-2},
Pages = {35-84},
biburl = {http://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/dblp},
ee = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0},
url = {http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03},
year = 2003
}
Downloads: 0
{"_id":{"_str":"5342b73a0e946d920a00338f"},"__v":21,"authorIDs":["545794da2abc8e9f37000535","545795d52abc8e9f3700053f","54774fafcb4bf04e39001716"],"author_short":["Cimatti, A.","Pistore, M.","Roveri, M.","Traverso, P."],"bibbaseid":"cimatti-pistore-roveri-traverso-weakstrongandstrongcyclicplanningviasymbolicmodelchecking-2003","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Cimatti"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Pistore"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Roveri"],"suffixes":[]},{"firstnames":["Paolo"],"propositions":[],"lastnames":["Traverso"],"suffixes":[]}],"title":"Weak, strong, and strong cyclic planning via symbolic model checking.","journal":"Artif. Intell.","volume":"147","number":"1-2","pages":"35-84","biburl":"http://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/dblp","ee":"http://dx.doi.org/10.1016/S0004-3702(02)00374-0","url":"http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03","year":"2003","bibtex":"@Article{cimatti03_cyclic,\n Author = {Alessandro Cimatti and Marco Pistore and Marco Roveri\n and Paolo Traverso},\n Title = {Weak, strong, and strong cyclic planning via symbolic\n model checking.},\n Journal = {Artif. Intell.},\n Volume = {147},\n Number = {1-2},\n Pages = {35-84},\n biburl = {http://www.bibsonomy.org/bibtex/203d6615beefd37e8b0b33fa917ddb348/dblp},\n ee = {http://dx.doi.org/10.1016/S0004-3702(02)00374-0},\n url = {http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03},\n year = 2003\n}\n\n","author_short":["Cimatti, A.","Pistore, M.","Roveri, M.","Traverso, P."],"key":"cimatti03_cyclic","id":"cimatti03_cyclic","bibbaseid":"cimatti-pistore-roveri-traverso-weakstrongandstrongcyclicplanningviasymbolicmodelchecking-2003","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/S0004-3702(02)00374-0","Paper":"http://dblp.uni-trier.de/db/journals/ai/ai147.html#CimattiPRT03"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"rbr.cs.umass.edu/gp/genplan.bib","downloads":0,"keywords":[],"search_terms":["weak","strong","strong","cyclic","planning","via","symbolic","model","checking","cimatti","pistore","roveri","traverso"],"title":"Weak, strong, and strong cyclic planning via symbolic model checking.","year":2003,"dataSources":["ivTWmqfM6xcSHRfBa","BBkjciKCmRFKkzdZa","SzPGZamk2BCyHJTQr"]}