{"_id":"9JvFXAm6YswGt9AnR","bibbaseid":"denicola-distefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018","author_short":["De Nicola, R.","Di Stefano, L.","Inverso, O."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["De","Nicola"],"firstnames":["Rocco"],"suffixes":[]},{"propositions":[],"lastnames":["Di","Stefano"],"firstnames":["Luca"],"suffixes":[]},{"propositions":[],"lastnames":["Inverso"],"firstnames":["Omar"],"suffixes":[]}],"date-modified":"2021-01-05 10:10:28 +0100","journal":"Frontiers Robotics AI","pages":"94","title":"Toward Formal Models and Languages for Verifiable Multi-Robot Systems","volume":"5","year":"2018","bibtex":"@article{nicola_toward_2018,\n\tauthor = {De Nicola, Rocco and Di Stefano, Luca and Inverso, Omar},\n\tdate-modified = {2021-01-05 10:10:28 +0100},\n\tjournal = {Frontiers Robotics AI},\n\tpages = {94},\n\ttitle = {Toward {Formal} {Models} and {Languages} for {Verifiable} {Multi}-{Robot} {Systems}},\n\tvolume = {5},\n\tyear = {2018}}\n\n","author_short":["De Nicola, R.","Di Stefano, L.","Inverso, O."],"key":"nicola_toward_2018","id":"nicola_toward_2018","bibbaseid":"denicola-distefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["toward","formal","models","languages","verifiable","multi","robot","systems","de nicola","di stefano","inverso"],"title":"Toward Formal Models and Languages for Verifiable Multi-Robot Systems","year":2018}