{"_id":{"_str":"51f689d859ced8df44000d71"},"__v":4,"authorIDs":["5458892ab43425b7720000d9","5e10765571c264df01000078","5e26da4242065ede01000068","5e2d78d3556d50df01000065","9mJiSpyoeggATHeTX","JwKZL7Jr3ppoZnfdw","icFPnHzHmXrgF8PDs","wgdTG8PWZvuGFzGPW"],"author_short":["Gjondrekaj, E.","Loreti, M.","Pugliese, R.","Tiezzi, F.","Pinciroli, C.","Brambilla, M.","Birattari, M.","Dorigo, M."],"bibbaseid":"gjondrekaj-loreti-pugliese-tiezzi-pinciroli-brambilla-birattari-dorigo-towardsaformalverificationmethodologyforcollectiveroboticsystems-2012","bibdata":{"bibtype":"incollection","type":"incollection","title":"Towards a Formal Verification Methodology for Collective Robotic Systems","booktitle":"Formal Methods and Software Engineering","author":[{"firstnames":["Edmond"],"propositions":[],"lastnames":["Gjondrekaj"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]},{"firstnames":["Rosario"],"propositions":[],"lastnames":["Pugliese"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Tiezzi"],"suffixes":[]},{"firstnames":["Carlo"],"propositions":[],"lastnames":["Pinciroli"],"suffixes":[]},{"firstnames":["Manuele"],"propositions":[],"lastnames":["Brambilla"],"suffixes":[]},{"firstnames":["Mauro"],"propositions":[],"lastnames":["Birattari"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Dorigo"],"suffixes":[]}],"year":"2012","volume":"7635","series":"Lecture Notes in Computer Science","publisher":"Springer, Berlin, Heidelberg","pages":"54-70","bibtex":"@incollection{ Gjondrekaj2012:tfvmcrs,\n title = {Towards a Formal Verification Methodology for Collective Robotic Systems},\n booktitle={Formal Methods and Software Engineering},\n author = {Edmond Gjondrekaj and Michele Loreti and Rosario Pugliese and Francesco Tiezzi and Carlo Pinciroli and Manuele Brambilla and Mauro Birattari and Marco Dorigo},\n year = {2012},\n volume={7635},\n series={Lecture Notes in Computer Science},\n publisher={Springer, Berlin, Heidelberg},\n pages={54-70}\n}\n\n","author_short":["Gjondrekaj, E.","Loreti, M.","Pugliese, R.","Tiezzi, F.","Pinciroli, C.","Brambilla, M.","Birattari, M.","Dorigo, M."],"key":"Gjondrekaj2012:tfvmcrs","id":"Gjondrekaj2012:tfvmcrs","bibbaseid":"gjondrekaj-loreti-pugliese-tiezzi-pinciroli-brambilla-birattari-dorigo-towardsaformalverificationmethodologyforcollectiveroboticsystems-2012","role":"author","urls":{},"metadata":{"authorlinks":{"brambilla, m":"https://iridia.ulb.ac.be/~mbrambilla/publications.php"}},"downloads":0,"html":""},"bibtype":"incollection","biburl":"iridia.ulb.ac.be/~mbrambilla/my-pub.bib","downloads":0,"keywords":[],"search_terms":["towards","formal","verification","methodology","collective","robotic","systems","gjondrekaj","loreti","pugliese","tiezzi","pinciroli","brambilla","birattari","dorigo"],"title":"Towards a Formal Verification Methodology for Collective Robotic Systems","title_words":["towards","formal","verification","methodology","collective","robotic","systems"],"year":2012,"dataSources":["EPKgmShLEBiHsMpCX","7Wv4HihB2qzCLDpZh"]}