var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://dblp.uni-trier.de/pid/215/9758.bib\",\"fullnames\":\"1\",\"jsonp\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]},{\"firstnames\":[\"Serenella\"],\"propositions\":[],\"lastnames\":[\"Valiani\"],\"suffixes\":[]}],\"title\":\"Modelling flocks of birds and colonies of ants from the bottom up\",\"journal\":\"Int. J. Softw. Tools Technol. Transf.\",\"volume\":\"25\",\"number\":\"5\",\"pages\":\"675–691\",\"year\":\"2023\",\"url\":\"https://doi.org/10.1007/s10009-023-00731-0\",\"doi\":\"10.1007/S10009-023-00731-0\",\"timestamp\":\"Wed, 06 Dec 2023 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/sttt/NicolaSIV23.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/sttt/NicolaSIV23,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso and\\n                  Serenella Valiani},\\n  title        = {Modelling flocks of birds and colonies of ants from the bottom up},\\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\\n  volume       = {25},\\n  number       = {5},\\n  pages        = {675--691},\\n  year         = {2023},\\n  url          = {https://doi.org/10.1007/s10009-023-00731-0},\\n  doi          = {10.1007/S10009-023-00731-0},\\n  timestamp    = {Wed, 06 Dec 2023 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/sttt/NicolaSIV23.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\",\"Valiani, S.\"],\"key\":\"DBLP:journals/sttt/NicolaSIV23\",\"id\":\"DBLP:journals/sttt/NicolaSIV23\",\"bibbaseid\":\"nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/s10009-023-00731-0\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Yehia\",\"Abd\"],\"propositions\":[],\"lastnames\":[\"Alrahman\"],\"suffixes\":[]},{\"firstnames\":[\"Shaun\"],\"propositions\":[],\"lastnames\":[\"Azzopardi\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Nir\"],\"propositions\":[],\"lastnames\":[\"Piterman\"],\"suffixes\":[]}],\"title\":\"Language support for verifying reconfigurable interacting systems\",\"journal\":\"Int. J. Softw. Tools Technol. Transf.\",\"volume\":\"25\",\"number\":\"5\",\"pages\":\"765–784\",\"year\":\"2023\",\"url\":\"https://doi.org/10.1007/s10009-023-00729-8\",\"doi\":\"10.1007/S10009-023-00729-8\",\"timestamp\":\"Mon, 05 Feb 2024 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/sttt/AlrahmanASP23,\\n  author       = {Yehia Abd Alrahman and\\n                  Shaun Azzopardi and\\n                  Luca Di Stefano and\\n                  Nir Piterman},\\n  title        = {Language support for verifying reconfigurable interacting systems},\\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\\n  volume       = {25},\\n  number       = {5},\\n  pages        = {765--784},\\n  year         = {2023},\\n  url          = {https://doi.org/10.1007/s10009-023-00729-8},\\n  doi          = {10.1007/S10009-023-00729-8},\\n  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Alrahman, Y. A.\",\"Azzopardi, S.\",\"Stefano, L. D.\",\"Piterman, N.\"],\"key\":\"DBLP:journals/sttt/AlrahmanASP23\",\"id\":\"DBLP:journals/sttt/AlrahmanASP23\",\"bibbaseid\":\"alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/s10009-023-00729-8\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]},{\"firstnames\":[\"Serenella\"],\"propositions\":[],\"lastnames\":[\"Valiani\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Jun\"],\"propositions\":[],\"lastnames\":[\"Pang\"],\"suffixes\":[]},{\"firstnames\":[\"Joachim\"],\"propositions\":[],\"lastnames\":[\"Niehren\"],\"suffixes\":[]}],\"title\":\"Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants\",\"booktitle\":\"Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"14137\",\"pages\":\"44–61\",\"publisher\":\"Springer\",\"year\":\"2023\",\"url\":\"https://doi.org/10.1007/978-3-031-42697-1\\\\_4\",\"doi\":\"10.1007/978-3-031-42697-1_4\",\"timestamp\":\"Fri, 15 Sep 2023 15:00:48 +0200\",\"biburl\":\"https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/cmsb/NicolaSIV23,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso and\\n                  Serenella Valiani},\\n  editor       = {Jun Pang and\\n                  Joachim Niehren},\\n  title        = {Intuitive Modelling and Formal Analysis of Collective Behaviour in\\n                  Foraging Ants},\\n  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,\\n                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {14137},\\n  pages        = {44--61},\\n  publisher    = {Springer},\\n  year         = {2023},\\n  url          = {https://doi.org/10.1007/978-3-031-42697-1\\\\_4},\\n  doi          = {10.1007/978-3-031-42697-1\\\\_4},\\n  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},\\n  biburl       = {https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\",\"Valiani, S.\"],\"editor_short\":[\"Pang, J.\",\"Niehren, J.\"],\"key\":\"DBLP:conf/cmsb/NicolaSIV23\",\"id\":\"DBLP:conf/cmsb/NicolaSIV23\",\"bibbaseid\":\"nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-031-42697-1\\\\_4\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Frédéric\"],\"propositions\":[],\"lastnames\":[\"Lang\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Cezara\"],\"propositions\":[],\"lastnames\":[\"Dragoi\"],\"suffixes\":[]},{\"firstnames\":[\"Michael\"],\"propositions\":[],\"lastnames\":[\"Emmi\"],\"suffixes\":[]},{\"firstnames\":[\"Jingbo\"],\"propositions\":[],\"lastnames\":[\"Wang\"],\"suffixes\":[]}],\"title\":\"Compositional Verification of Stigmergic Collective Systems\",\"booktitle\":\"Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"13881\",\"pages\":\"155–176\",\"publisher\":\"Springer\",\"year\":\"2023\",\"url\":\"https://doi.org/10.1007/978-3-031-24950-1\\\\_8\",\"doi\":\"10.1007/978-3-031-24950-1_8\",\"timestamp\":\"Sat, 25 Feb 2023 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/vmcai/StefanoL23.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/vmcai/StefanoL23,\\n  author       = {Luca Di Stefano and\\n                  Fr{\\\\'{e}}d{\\\\'{e}}ric Lang},\\n  editor       = {Cezara Dragoi and\\n                  Michael Emmi and\\n                  Jingbo Wang},\\n  title        = {Compositional Verification of Stigmergic Collective Systems},\\n  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 24th International\\n                  Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {13881},\\n  pages        = {155--176},\\n  publisher    = {Springer},\\n  year         = {2023},\\n  url          = {https://doi.org/10.1007/978-3-031-24950-1\\\\_8},\\n  doi          = {10.1007/978-3-031-24950-1\\\\_8},\\n  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Stefano, L. D.\",\"Lang, F.\"],\"editor_short\":[\"Dragoi, C.\",\"Emmi, M.\",\"Wang, J.\"],\"key\":\"DBLP:conf/vmcai/StefanoL23\",\"id\":\"DBLP:conf/vmcai/StefanoL23\",\"bibbaseid\":\"stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-031-24950-1\\\\_8\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Shaun\"],\"propositions\":[],\"lastnames\":[\"Azzopardi\"],\"suffixes\":[]},{\"firstnames\":[\"Nir\"],\"propositions\":[],\"lastnames\":[\"Piterman\"],\"suffixes\":[]},{\"firstnames\":[\"Gerardo\"],\"propositions\":[],\"lastnames\":[\"Schneider\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]}],\"title\":\"LTL Synthesis on Infinite-State Arenas defined by Programs\",\"journal\":\"CoRR\",\"volume\":\"abs/2307.09776\",\"year\":\"2023\",\"url\":\"https://doi.org/10.48550/arXiv.2307.09776\",\"doi\":\"10.48550/ARXIV.2307.09776\",\"eprinttype\":\"arXiv\",\"eprint\":\"2307.09776\",\"timestamp\":\"Tue, 25 Jul 2023 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-2307-09776.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-2307-09776,\\n  author       = {Shaun Azzopardi and\\n                  Nir Piterman and\\n                  Gerardo Schneider and\\n                  Luca Di Stefano},\\n  title        = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},\\n  journal      = {CoRR},\\n  volume       = {abs/2307.09776},\\n  year         = {2023},\\n  url          = {https://doi.org/10.48550/arXiv.2307.09776},\\n  doi          = {10.48550/ARXIV.2307.09776},\\n  eprinttype    = {arXiv},\\n  eprint       = {2307.09776},\\n  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Azzopardi, S.\",\"Piterman, N.\",\"Schneider, G.\",\"Stefano, L. D.\"],\"key\":\"DBLP:journals/corr/abs-2307-09776\",\"id\":\"DBLP:journals/corr/abs-2307-09776\",\"bibbaseid\":\"azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.48550/arXiv.2307.09776\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]},{\"firstnames\":[\"Aline\"],\"propositions\":[],\"lastnames\":[\"Uwimbabazi\"],\"suffixes\":[]}],\"title\":\"Automated replication of tuple spaces via static analysis\",\"journal\":\"Sci. Comput. Program.\",\"volume\":\"223\",\"pages\":\"102863\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1016/j.scico.2022.102863\",\"doi\":\"10.1016/J.SCICO.2022.102863\",\"timestamp\":\"Tue, 12 Sep 2023 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/scp/NicolaSIU22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/scp/NicolaSIU22,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso and\\n                  Aline Uwimbabazi},\\n  title        = {Automated replication of tuple spaces via static analysis},\\n  journal      = {Sci. Comput. Program.},\\n  volume       = {223},\\n  pages        = {102863},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1016/j.scico.2022.102863},\\n  doi          = {10.1016/J.SCICO.2022.102863},\\n  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSIU22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\",\"Uwimbabazi, A.\"],\"key\":\"DBLP:journals/scp/NicolaSIU22\",\"id\":\"DBLP:journals/scp/NicolaSIU22\",\"bibbaseid\":\"nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1016/j.scico.2022.102863\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]}],\"title\":\"Verification of Distributed Systems via Sequential Emulation\",\"journal\":\"ACM Trans. Softw. Eng. Methodol.\",\"volume\":\"31\",\"number\":\"3\",\"pages\":\"37:1–37:41\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1145/3490387\",\"doi\":\"10.1145/3490387\",\"timestamp\":\"Tue, 28 Jun 2022 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/tosem/StefanoNI22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/tosem/StefanoNI22,\\n  author       = {Luca Di Stefano and\\n                  Rocco De Nicola and\\n                  Omar Inverso},\\n  title        = {Verification of Distributed Systems via Sequential Emulation},\\n  journal      = {{ACM} Trans. Softw. Eng. Methodol.},\\n  volume       = {31},\\n  number       = {3},\\n  pages        = {37:1--37:41},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1145/3490387},\\n  doi          = {10.1145/3490387},\\n  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Stefano, L. D.\",\"Nicola, R. D.\",\"Inverso, O.\"],\"key\":\"DBLP:journals/tosem/StefanoNI22\",\"id\":\"DBLP:journals/tosem/StefanoNI22\",\"bibbaseid\":\"stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1145/3490387\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]},{\"firstnames\":[\"Serenella\"],\"propositions\":[],\"lastnames\":[\"Valiani\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Nils\"],\"propositions\":[],\"lastnames\":[\"Jansen\"],\"suffixes\":[]},{\"firstnames\":[\"Mariëlle\"],\"propositions\":[],\"lastnames\":[\"Stoelinga\"],\"suffixes\":[]},{\"firstnames\":[\"Petra\"],\"propositions\":[\"van\",\"den\"],\"lastnames\":[\"Bos\"],\"suffixes\":[]}],\"title\":\"Process Algebras and Flocks of Birds\",\"booktitle\":\"A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"13560\",\"pages\":\"512–523\",\"publisher\":\"Springer\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1007/978-3-031-15629-8\\\\_27\",\"doi\":\"10.1007/978-3-031-15629-8_27\",\"timestamp\":\"Sat, 30 Sep 2023 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/birthday/NicolaSIV22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/birthday/NicolaSIV22,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso and\\n                  Serenella Valiani},\\n  editor       = {Nils Jansen and\\n                  Mari{\\\\\\\"{e}}lle Stoelinga and\\n                  Petra van den Bos},\\n  title        = {Process Algebras and Flocks of Birds},\\n  booktitle    = {A Journey from Process Algebra via Timed Automata to Model Learning\\n                  - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th\\n                  Birthday},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {13560},\\n  pages        = {512--523},\\n  publisher    = {Springer},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1007/978-3-031-15629-8\\\\_27},\\n  doi          = {10.1007/978-3-031-15629-8\\\\_27},\\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\",\"Valiani, S.\"],\"editor_short\":[\"Jansen, N.\",\"Stoelinga, M.\",\"van den Bos, P.\"],\"key\":\"DBLP:conf/birthday/NicolaSIV22\",\"id\":\"DBLP:conf/birthday/NicolaSIV22\",\"bibbaseid\":\"nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-031-15629-8\\\\_27\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]},{\"firstnames\":[\"Serenella\"],\"propositions\":[],\"lastnames\":[\"Valiani\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Tiziana\"],\"propositions\":[],\"lastnames\":[\"Margaria\"],\"suffixes\":[]},{\"firstnames\":[\"Bernhard\"],\"propositions\":[],\"lastnames\":[\"Steffen\"],\"suffixes\":[]}],\"title\":\"Modelling Flocks of Birds from the Bottom Up\",\"booktitle\":\"Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"13703\",\"pages\":\"82–96\",\"publisher\":\"Springer\",\"year\":\"2022\",\"url\":\"https://doi.org/10.1007/978-3-031-19759-8\\\\_6\",\"doi\":\"10.1007/978-3-031-19759-8_6\",\"timestamp\":\"Wed, 07 Dec 2022 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/isola/NicolaSIV22.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/isola/NicolaSIV22,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso and\\n                  Serenella Valiani},\\n  editor       = {Tiziana Margaria and\\n                  Bernhard Steffen},\\n  title        = {Modelling Flocks of Birds from the Bottom Up},\\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\\n                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,\\n                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {13703},\\n  pages        = {82--96},\\n  publisher    = {Springer},\\n  year         = {2022},\\n  url          = {https://doi.org/10.1007/978-3-031-19759-8\\\\_6},\\n  doi          = {10.1007/978-3-031-19759-8\\\\_6},\\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\",\"Valiani, S.\"],\"editor_short\":[\"Margaria, T.\",\"Steffen, B.\"],\"key\":\"DBLP:conf/isola/NicolaSIV22\",\"id\":\"DBLP:conf/isola/NicolaSIV22\",\"bibbaseid\":\"nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-031-19759-8\\\\_6\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Frédéric\"],\"propositions\":[],\"lastnames\":[\"Lang\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Tiziana\"],\"propositions\":[],\"lastnames\":[\"Margaria\"],\"suffixes\":[]},{\"firstnames\":[\"Bernhard\"],\"propositions\":[],\"lastnames\":[\"Steffen\"],\"suffixes\":[]}],\"title\":\"Verifying Temporal Properties of Stigmergic Collective Systems Using CADP\",\"booktitle\":\"Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"13036\",\"pages\":\"473–489\",\"publisher\":\"Springer\",\"year\":\"2021\",\"url\":\"https://doi.org/10.1007/978-3-030-89159-6\\\\_29\",\"doi\":\"10.1007/978-3-030-89159-6_29\",\"timestamp\":\"Wed, 03 Nov 2021 00:00:00 +0100\",\"biburl\":\"https://dblp.org/rec/conf/isola/StefanoL21.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/isola/StefanoL21,\\n  author       = {Luca Di Stefano and\\n                  Fr{\\\\'{e}}d{\\\\'{e}}ric Lang},\\n  editor       = {Tiziana Margaria and\\n                  Bernhard Steffen},\\n  title        = {Verifying Temporal Properties of Stigmergic Collective Systems Using\\n                  {CADP}},\\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation\\n                  - 10th International Symposium on Leveraging Applications of Formal\\n                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {13036},\\n  pages        = {473--489},\\n  publisher    = {Springer},\\n  year         = {2021},\\n  url          = {https://doi.org/10.1007/978-3-030-89159-6\\\\_29},\\n  doi          = {10.1007/978-3-030-89159-6\\\\_29},\\n  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},\\n  biburl       = {https://dblp.org/rec/conf/isola/StefanoL21.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Stefano, L. D.\",\"Lang, F.\"],\"editor_short\":[\"Margaria, T.\",\"Steffen, B.\"],\"key\":\"DBLP:conf/isola/StefanoL21\",\"id\":\"DBLP:conf/isola/StefanoL21\",\"bibbaseid\":\"stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-030-89159-6\\\\_29\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]}],\"title\":\"Multi-agent systems with virtual stigmergy\",\"journal\":\"Sci. Comput. Program.\",\"volume\":\"187\",\"pages\":\"102345\",\"year\":\"2020\",\"url\":\"https://doi.org/10.1016/j.scico.2019.102345\",\"doi\":\"10.1016/J.SCICO.2019.102345\",\"timestamp\":\"Mon, 26 Jul 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/scp/NicolaSI20.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/scp/NicolaSI20,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso},\\n  title        = {Multi-agent systems with virtual stigmergy},\\n  journal      = {Sci. Comput. Program.},\\n  volume       = {187},\\n  pages        = {102345},\\n  year         = {2020},\\n  url          = {https://doi.org/10.1016/j.scico.2019.102345},\\n  doi          = {10.1016/J.SCICO.2019.102345},\\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\"],\"key\":\"DBLP:journals/scp/NicolaSI20\",\"id\":\"DBLP:journals/scp/NicolaSI20\",\"bibbaseid\":\"nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1016/j.scico.2019.102345\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Frédéric\"],\"propositions\":[],\"lastnames\":[\"Lang\"],\"suffixes\":[]},{\"firstnames\":[\"Wendelin\"],\"propositions\":[],\"lastnames\":[\"Serwe\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Simon\"],\"propositions\":[],\"lastnames\":[\"Bliudze\"],\"suffixes\":[]},{\"firstnames\":[\"Laura\"],\"propositions\":[],\"lastnames\":[\"Bocchi\"],\"suffixes\":[]}],\"title\":\"Combining SLiVER with CADP to Analyze Multi-agent Systems\",\"booktitle\":\"Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"12134\",\"pages\":\"370–385\",\"publisher\":\"Springer\",\"year\":\"2020\",\"url\":\"https://doi.org/10.1007/978-3-030-50029-0\\\\_23\",\"doi\":\"10.1007/978-3-030-50029-0_23\",\"timestamp\":\"Mon, 26 Jul 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/coordination/StefanoLS20.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/coordination/StefanoLS20,\\n  author       = {Luca Di Stefano and\\n                  Fr{\\\\'{e}}d{\\\\'{e}}ric Lang and\\n                  Wendelin Serwe},\\n  editor       = {Simon Bliudze and\\n                  Laura Bocchi},\\n  title        = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},\\n  booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International\\n                  Conference, {COORDINATION} 2020, Held as Part of the 15th International\\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\\n                  2020, Valletta, Malta, June 15-19, 2020, Proceedings},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {12134},\\n  pages        = {370--385},\\n  publisher    = {Springer},\\n  year         = {2020},\\n  url          = {https://doi.org/10.1007/978-3-030-50029-0\\\\_23},\\n  doi          = {10.1007/978-3-030-50029-0\\\\_23},\\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Stefano, L. D.\",\"Lang, F.\",\"Serwe, W.\"],\"editor_short\":[\"Bliudze, S.\",\"Bocchi, L.\"],\"key\":\"DBLP:conf/coordination/StefanoLS20\",\"id\":\"DBLP:conf/coordination/StefanoLS20\",\"bibbaseid\":\"stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-030-50029-0\\\\_23\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]}],\"title\":\"Toward Formal Models and Languages for Verifiable Multi-Robot Systems\",\"journal\":\"Frontiers Robotics AI\",\"volume\":\"5\",\"pages\":\"94\",\"year\":\"2018\",\"url\":\"https://doi.org/10.3389/frobt.2018.00094\",\"doi\":\"10.3389/FROBT.2018.00094\",\"timestamp\":\"Sat, 09 Apr 2022 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/firai/NicolaSI18.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/firai/NicolaSI18,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso},\\n  title        = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},\\n  journal      = {Frontiers Robotics {AI}},\\n  volume       = {5},\\n  pages        = {94},\\n  year         = {2018},\\n  url          = {https://doi.org/10.3389/frobt.2018.00094},\\n  doi          = {10.3389/FROBT.2018.00094},\\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/firai/NicolaSI18.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\"],\"key\":\"DBLP:journals/firai/NicolaSI18\",\"id\":\"DBLP:journals/firai/NicolaSI18\",\"bibbaseid\":\"nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.3389/frobt.2018.00094\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Manuel\"],\"propositions\":[],\"lastnames\":[\"Mazzara\"],\"suffixes\":[]},{\"firstnames\":[\"Iulian\"],\"propositions\":[],\"lastnames\":[\"Ober\"],\"suffixes\":[]},{\"firstnames\":[\"Gwen\"],\"propositions\":[],\"lastnames\":[\"Salaün\"],\"suffixes\":[]}],\"title\":\"Multi-agent Systems with Virtual Stigmergy\",\"booktitle\":\"Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers\",\"series\":\"Lecture Notes in Computer Science\",\"volume\":\"11176\",\"pages\":\"351–366\",\"publisher\":\"Springer\",\"year\":\"2018\",\"url\":\"https://doi.org/10.1007/978-3-030-04771-9\\\\_26\",\"doi\":\"10.1007/978-3-030-04771-9_26\",\"timestamp\":\"Sat, 09 Apr 2022 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/staf/NicolaSI18.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/staf/NicolaSI18,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso},\\n  editor       = {Manuel Mazzara and\\n                  Iulian Ober and\\n                  Gwen Sala{\\\\\\\"{u}}n},\\n  title        = {Multi-agent Systems with Virtual Stigmergy},\\n  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2018\\n                  Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised\\n                  Selected Papers},\\n  series       = {Lecture Notes in Computer Science},\\n  volume       = {11176},\\n  pages        = {351--366},\\n  publisher    = {Springer},\\n  year         = {2018},\\n  url          = {https://doi.org/10.1007/978-3-030-04771-9\\\\_26},\\n  doi          = {10.1007/978-3-030-04771-9\\\\_26},\\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/staf/NicolaSI18.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\"],\"editor_short\":[\"Mazzara, M.\",\"Ober, I.\",\"Salaün, G.\"],\"key\":\"DBLP:conf/staf/NicolaSI18\",\"id\":\"DBLP:conf/staf/NicolaSI18\",\"bibbaseid\":\"nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-030-04771-9\\\\_26\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"article\",\"type\":\"article\",\"author\":[{\"firstnames\":[\"Rocco\",\"De\"],\"propositions\":[],\"lastnames\":[\"Nicola\"],\"suffixes\":[]},{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Omar\"],\"propositions\":[],\"lastnames\":[\"Inverso\"],\"suffixes\":[]}],\"title\":\"Towards formal models and languages for verifiable Multi-Robot Systems\",\"journal\":\"CoRR\",\"volume\":\"abs/1804.08091\",\"year\":\"2018\",\"url\":\"http://arxiv.org/abs/1804.08091\",\"eprinttype\":\"arXiv\",\"eprint\":\"1804.08091\",\"timestamp\":\"Mon, 26 Jul 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/journals/corr/abs-1804-08091.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@article{DBLP:journals/corr/abs-1804-08091,\\n  author       = {Rocco De Nicola and\\n                  Luca Di Stefano and\\n                  Omar Inverso},\\n  title        = {Towards formal models and languages for verifiable Multi-Robot Systems},\\n  journal      = {CoRR},\\n  volume       = {abs/1804.08091},\\n  year         = {2018},\\n  url          = {http://arxiv.org/abs/1804.08091},\\n  eprinttype    = {arXiv},\\n  eprint       = {1804.08091},\\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08091.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Nicola, R. D.\",\"Stefano, L. D.\",\"Inverso, O.\"],\"key\":\"DBLP:journals/corr/abs-1804-08091\",\"id\":\"DBLP:journals/corr/abs-1804-08091\",\"bibbaseid\":\"nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018\",\"role\":\"author\",\"urls\":{\"Paper\":\"http://arxiv.org/abs/1804.08091\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"firstnames\":[\"Luca\",\"Di\"],\"propositions\":[],\"lastnames\":[\"Stefano\"],\"suffixes\":[]},{\"firstnames\":[\"Eliseo\"],\"propositions\":[],\"lastnames\":[\"Clementini\"],\"suffixes\":[]},{\"firstnames\":[\"Enrico\"],\"propositions\":[],\"lastnames\":[\"Stagnini\"],\"suffixes\":[]}],\"editor\":[{\"firstnames\":[\"Paolo\"],\"propositions\":[],\"lastnames\":[\"Fogliaroni\"],\"suffixes\":[]},{\"firstnames\":[\"Andrea\"],\"propositions\":[],\"lastnames\":[\"Ballatore\"],\"suffixes\":[]},{\"firstnames\":[\"Eliseo\"],\"propositions\":[],\"lastnames\":[\"Clementini\"],\"suffixes\":[]}],\"title\":\"Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps\",\"booktitle\":\"Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy\",\"series\":\"Lecture Notes in Geoinformation and Cartography\",\"pages\":\"41–43\",\"publisher\":\"Springer\",\"year\":\"2017\",\"url\":\"https://doi.org/10.1007/978-3-319-63946-8\\\\_10\",\"doi\":\"10.1007/978-3-319-63946-8_10\",\"timestamp\":\"Mon, 26 Jul 2021 01:00:00 +0200\",\"biburl\":\"https://dblp.org/rec/conf/cosit/StefanoCS17.bib\",\"bibsource\":\"dblp computer science bibliography, https://dblp.org\",\"bibtex\":\"@inproceedings{DBLP:conf/cosit/StefanoCS17,\\n  author       = {Luca Di Stefano and\\n                  Eliseo Clementini and\\n                  Enrico Stagnini},\\n  editor       = {Paolo Fogliaroni and\\n                  Andrea Ballatore and\\n                  Eliseo Clementini},\\n  title        = {Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of\\n                  Depth Maps},\\n  booktitle    = {Proceedings of Workshops and Posters at the 13th International Conference\\n                  on Spatial Information Theory, {COSIT} 2017, September 4-8, 2017,\\n                  L'Aquila, Italy},\\n  series       = {Lecture Notes in Geoinformation and Cartography},\\n  pages        = {41--43},\\n  publisher    = {Springer},\\n  year         = {2017},\\n  url          = {https://doi.org/10.1007/978-3-319-63946-8\\\\_10},\\n  doi          = {10.1007/978-3-319-63946-8\\\\_10},\\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\\n  biburl       = {https://dblp.org/rec/conf/cosit/StefanoCS17.bib},\\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\\n}\\n\\n\",\"author_short\":[\"Stefano, L. D.\",\"Clementini, E.\",\"Stagnini, E.\"],\"editor_short\":[\"Fogliaroni, P.\",\"Ballatore, A.\",\"Clementini, E.\"],\"key\":\"DBLP:conf/cosit/StefanoCS17\",\"id\":\"DBLP:conf/cosit/StefanoCS17\",\"bibbaseid\":\"stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://doi.org/10.1007/978-3-319-63946-8\\\\_10\"},\"metadata\":{\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"stefano, l\",\"authorlinks\":{\"stefano, l\":\"https://lou1306.github.io/en/cv/\"}},\n      ownerID: \"owptCQkQWyRuF3xH3\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"9758.bib\" href=\"data:text/bibtex;base64,QGFydGljbGV7REJMUDpqb3VybmFscy9zdHR0L05pY29sYVNJVjIzLAogIGF1dGhvciAgICAgICA9IHtSb2NjbyBEZSBOaWNvbGEgYW5kCiAgICAgICAgICAgICAgICAgIEx1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgT21hciBJbnZlcnNvIGFuZAogICAgICAgICAgICAgICAgICBTZXJlbmVsbGEgVmFsaWFuaX0sCiAgdGl0bGUgICAgICAgID0ge01vZGVsbGluZyBmbG9ja3Mgb2YgYmlyZHMgYW5kIGNvbG9uaWVzIG9mIGFudHMgZnJvbSB0aGUgYm90dG9tIHVwfSwKICBqb3VybmFsICAgICAgPSB7SW50LiBKLiBTb2Z0dy4gVG9vbHMgVGVjaG5vbC4gVHJhbnNmLn0sCiAgdm9sdW1lICAgICAgID0gezI1fSwKICBudW1iZXIgICAgICAgPSB7NX0sCiAgcGFnZXMgICAgICAgID0gezY3NS0tNjkxfSwKICB5ZWFyICAgICAgICAgPSB7MjAyM30sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3L3MxMDAwOS0wMjMtMDA3MzEtMH0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvUzEwMDA5LTAyMy0wMDczMS0wfSwKICB0aW1lc3RhbXAgICAgPSB7V2VkLCAwNiBEZWMgMjAyMyAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL3N0dHQvTmljb2xhU0lWMjMuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL3N0dHQvQWxyYWhtYW5BU1AyMywKICBhdXRob3IgICAgICAgPSB7WWVoaWEgQWJkIEFscmFobWFuIGFuZAogICAgICAgICAgICAgICAgICBTaGF1biBBenpvcGFyZGkgYW5kCiAgICAgICAgICAgICAgICAgIEx1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgTmlyIFBpdGVybWFufSwKICB0aXRsZSAgICAgICAgPSB7TGFuZ3VhZ2Ugc3VwcG9ydCBmb3IgdmVyaWZ5aW5nIHJlY29uZmlndXJhYmxlIGludGVyYWN0aW5nIHN5c3RlbXN9LAogIGpvdXJuYWwgICAgICA9IHtJbnQuIEouIFNvZnR3LiBUb29scyBUZWNobm9sLiBUcmFuc2YufSwKICB2b2x1bWUgICAgICAgPSB7MjV9LAogIG51bWJlciAgICAgICA9IHs1fSwKICBwYWdlcyAgICAgICAgPSB7NzY1LS03ODR9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvczEwMDA5LTAyMy0wMDcyOS04fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy9TMTAwMDktMDIzLTAwNzI5LTh9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDA1IEZlYiAyMDI0IDAwOjAwOjAwICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvc3R0dC9BbHJhaG1hbkFTUDIzLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2Ntc2IvTmljb2xhU0lWMjMsCiAgYXV0aG9yICAgICAgID0ge1JvY2NvIERlIE5pY29sYSBhbmQKICAgICAgICAgICAgICAgICAgTHVjYSBEaSBTdGVmYW5vIGFuZAogICAgICAgICAgICAgICAgICBPbWFyIEludmVyc28gYW5kCiAgICAgICAgICAgICAgICAgIFNlcmVuZWxsYSBWYWxpYW5pfSwKICBlZGl0b3IgICAgICAgPSB7SnVuIFBhbmcgYW5kCiAgICAgICAgICAgICAgICAgIEpvYWNoaW0gTmllaHJlbn0sCiAgdGl0bGUgICAgICAgID0ge0ludHVpdGl2ZSBNb2RlbGxpbmcgYW5kIEZvcm1hbCBBbmFseXNpcyBvZiBDb2xsZWN0aXZlIEJlaGF2aW91ciBpbgogICAgICAgICAgICAgICAgICBGb3JhZ2luZyBBbnRzfSwKICBib29rdGl0bGUgICAgPSB7Q29tcHV0YXRpb25hbCBNZXRob2RzIGluIFN5c3RlbXMgQmlvbG9neSAtIDIxc3QgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlLAogICAgICAgICAgICAgICAgICB7Q01TQn0gMjAyMywgTHV4ZW1ib3VyZyBDaXR5LCBMdXhlbWJvdXJnLCBTZXB0ZW1iZXIgMTMtMTUsIDIwMjMsIFByb2NlZWRpbmdzfSwKICBzZXJpZXMgICAgICAgPSB7TGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlfSwKICB2b2x1bWUgICAgICAgPSB7MTQxMzd9LAogIHBhZ2VzICAgICAgICA9IHs0NC0tNjF9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgeWVhciAgICAgICAgID0gezIwMjN9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0wMzEtNDI2OTctMVxfNH0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMxLTQyNjk3LTFcXzR9LAogIHRpbWVzdGFtcCAgICA9IHtGcmksIDE1IFNlcCAyMDIzIDE1OjAwOjQ4ICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9jbXNiL05pY29sYVNJVjIzLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL3ZtY2FpL1N0ZWZhbm9MMjMsCiAgYXV0aG9yICAgICAgID0ge0x1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgRnJ7XCd7ZX19ZHtcJ3tlfX1yaWMgTGFuZ30sCiAgZWRpdG9yICAgICAgID0ge0NlemFyYSBEcmFnb2kgYW5kCiAgICAgICAgICAgICAgICAgIE1pY2hhZWwgRW1taSBhbmQKICAgICAgICAgICAgICAgICAgSmluZ2JvIFdhbmd9LAogIHRpdGxlICAgICAgICA9IHtDb21wb3NpdGlvbmFsIFZlcmlmaWNhdGlvbiBvZiBTdGlnbWVyZ2ljIENvbGxlY3RpdmUgU3lzdGVtc30sCiAgYm9va3RpdGxlICAgID0ge1ZlcmlmaWNhdGlvbiwgTW9kZWwgQ2hlY2tpbmcsIGFuZCBBYnN0cmFjdCBJbnRlcnByZXRhdGlvbiAtIDI0dGggSW50ZXJuYXRpb25hbAogICAgICAgICAgICAgICAgICBDb25mZXJlbmNlLCB7Vk1DQUl9IDIwMjMsIEJvc3RvbiwgTUEsIFVTQSwgSmFudWFyeSAxNi0xNywgMjAyMywgUHJvY2VlZGluZ3N9LAogIHNlcmllcyAgICAgICA9IHtMZWN0dXJlIE5vdGVzIGluIENvbXB1dGVyIFNjaWVuY2V9LAogIHZvbHVtZSAgICAgICA9IHsxMzg4MX0sCiAgcGFnZXMgICAgICAgID0gezE1NS0tMTc2fSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTMtMDMxLTI0OTUwLTFcXzh9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMS0yNDk1MC0xXF84fSwKICB0aW1lc3RhbXAgICAgPSB7U2F0LCAyNSBGZWIgMjAyMyAwMDowMDowMCArMDEwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvdm1jYWkvU3RlZmFub0wyMy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBhcnRpY2xle0RCTFA6am91cm5hbHMvY29yci9hYnMtMjMwNy0wOTc3NiwKICBhdXRob3IgICAgICAgPSB7U2hhdW4gQXp6b3BhcmRpIGFuZAogICAgICAgICAgICAgICAgICBOaXIgUGl0ZXJtYW4gYW5kCiAgICAgICAgICAgICAgICAgIEdlcmFyZG8gU2NobmVpZGVyIGFuZAogICAgICAgICAgICAgICAgICBMdWNhIERpIFN0ZWZhbm99LAogIHRpdGxlICAgICAgICA9IHt7TFRMfSBTeW50aGVzaXMgb24gSW5maW5pdGUtU3RhdGUgQXJlbmFzIGRlZmluZWQgYnkgUHJvZ3JhbXN9LAogIGpvdXJuYWwgICAgICA9IHtDb1JSfSwKICB2b2x1bWUgICAgICAgPSB7YWJzLzIzMDcuMDk3NzZ9LAogIHllYXIgICAgICAgICA9IHsyMDIzfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjQ4NTUwL2FyWGl2LjIzMDcuMDk3NzZ9LAogIGRvaSAgICAgICAgICA9IHsxMC40ODU1MC9BUlhJVi4yMzA3LjA5Nzc2fSwKICBlcHJpbnR0eXBlICAgID0ge2FyWGl2fSwKICBlcHJpbnQgICAgICAgPSB7MjMwNy4wOTc3Nn0sCiAgdGltZXN0YW1wICAgID0ge1R1ZSwgMjUgSnVsIDIwMjMgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9jb3JyL2Ficy0yMzA3LTA5Nzc2LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGFydGljbGV7REJMUDpqb3VybmFscy9zY3AvTmljb2xhU0lVMjIsCiAgYXV0aG9yICAgICAgID0ge1JvY2NvIERlIE5pY29sYSBhbmQKICAgICAgICAgICAgICAgICAgTHVjYSBEaSBTdGVmYW5vIGFuZAogICAgICAgICAgICAgICAgICBPbWFyIEludmVyc28gYW5kCiAgICAgICAgICAgICAgICAgIEFsaW5lIFV3aW1iYWJheml9LAogIHRpdGxlICAgICAgICA9IHtBdXRvbWF0ZWQgcmVwbGljYXRpb24gb2YgdHVwbGUgc3BhY2VzIHZpYSBzdGF0aWMgYW5hbHlzaXN9LAogIGpvdXJuYWwgICAgICA9IHtTY2kuIENvbXB1dC4gUHJvZ3JhbS59LAogIHZvbHVtZSAgICAgICA9IHsyMjN9LAogIHBhZ2VzICAgICAgICA9IHsxMDI4NjN9LAogIHllYXIgICAgICAgICA9IHsyMDIyfSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMTYvai5zY2ljby4yMDIyLjEwMjg2M30sCiAgZG9pICAgICAgICAgID0gezEwLjEwMTYvSi5TQ0lDTy4yMDIyLjEwMjg2M30sCiAgdGltZXN0YW1wICAgID0ge1R1ZSwgMTIgU2VwIDIwMjMgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9zY3AvTmljb2xhU0lVMjIuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL3Rvc2VtL1N0ZWZhbm9OSTIyLAogIGF1dGhvciAgICAgICA9IHtMdWNhIERpIFN0ZWZhbm8gYW5kCiAgICAgICAgICAgICAgICAgIFJvY2NvIERlIE5pY29sYSBhbmQKICAgICAgICAgICAgICAgICAgT21hciBJbnZlcnNvfSwKICB0aXRsZSAgICAgICAgPSB7VmVyaWZpY2F0aW9uIG9mIERpc3RyaWJ1dGVkIFN5c3RlbXMgdmlhIFNlcXVlbnRpYWwgRW11bGF0aW9ufSwKICBqb3VybmFsICAgICAgPSB7e0FDTX0gVHJhbnMuIFNvZnR3LiBFbmcuIE1ldGhvZG9sLn0sCiAgdm9sdW1lICAgICAgID0gezMxfSwKICBudW1iZXIgICAgICAgPSB7M30sCiAgcGFnZXMgICAgICAgID0gezM3OjEtLTM3OjQxfSwKICB5ZWFyICAgICAgICAgPSB7MjAyMn0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMTQ1LzM0OTAzODd9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMTQ1LzM0OTAzODd9LAogIHRpbWVzdGFtcCAgICA9IHtUdWUsIDI4IEp1biAyMDIyIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvdG9zZW0vU3RlZmFub05JMjIuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvYmlydGhkYXkvTmljb2xhU0lWMjIsCiAgYXV0aG9yICAgICAgID0ge1JvY2NvIERlIE5pY29sYSBhbmQKICAgICAgICAgICAgICAgICAgTHVjYSBEaSBTdGVmYW5vIGFuZAogICAgICAgICAgICAgICAgICBPbWFyIEludmVyc28gYW5kCiAgICAgICAgICAgICAgICAgIFNlcmVuZWxsYSBWYWxpYW5pfSwKICBlZGl0b3IgICAgICAgPSB7TmlscyBKYW5zZW4gYW5kCiAgICAgICAgICAgICAgICAgIE1hcml7XCJ7ZX19bGxlIFN0b2VsaW5nYSBhbmQKICAgICAgICAgICAgICAgICAgUGV0cmEgdmFuIGRlbiBCb3N9LAogIHRpdGxlICAgICAgICA9IHtQcm9jZXNzIEFsZ2VicmFzIGFuZCBGbG9ja3Mgb2YgQmlyZHN9LAogIGJvb2t0aXRsZSAgICA9IHtBIEpvdXJuZXkgZnJvbSBQcm9jZXNzIEFsZ2VicmEgdmlhIFRpbWVkIEF1dG9tYXRhIHRvIE1vZGVsIExlYXJuaW5nCiAgICAgICAgICAgICAgICAgIC0gRXNzYXlzIERlZGljYXRlZCB0byBGcml0cyBWYWFuZHJhZ2VyIG9uIHRoZSBPY2Nhc2lvbiBvZiBIaXMgNjB0aAogICAgICAgICAgICAgICAgICBCaXJ0aGRheX0sCiAgc2VyaWVzICAgICAgID0ge0xlY3R1cmUgTm90ZXMgaW4gQ29tcHV0ZXIgU2NpZW5jZX0sCiAgdm9sdW1lICAgICAgID0gezEzNTYwfSwKICBwYWdlcyAgICAgICAgPSB7NTEyLS01MjN9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgeWVhciAgICAgICAgID0gezIwMjJ9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0wMzEtMTU2MjktOFxfMjd9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMS0xNTYyOS04XF8yN30sCiAgdGltZXN0YW1wICAgID0ge1NhdCwgMzAgU2VwIDIwMjMgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2JpcnRoZGF5L05pY29sYVNJVjIyLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL2lzb2xhL05pY29sYVNJVjIyLAogIGF1dGhvciAgICAgICA9IHtSb2NjbyBEZSBOaWNvbGEgYW5kCiAgICAgICAgICAgICAgICAgIEx1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgT21hciBJbnZlcnNvIGFuZAogICAgICAgICAgICAgICAgICBTZXJlbmVsbGEgVmFsaWFuaX0sCiAgZWRpdG9yICAgICAgID0ge1RpemlhbmEgTWFyZ2FyaWEgYW5kCiAgICAgICAgICAgICAgICAgIEJlcm5oYXJkIFN0ZWZmZW59LAogIHRpdGxlICAgICAgICA9IHtNb2RlbGxpbmcgRmxvY2tzIG9mIEJpcmRzIGZyb20gdGhlIEJvdHRvbSBVcH0sCiAgYm9va3RpdGxlICAgID0ge0xldmVyYWdpbmcgQXBwbGljYXRpb25zIG9mIEZvcm1hbCBNZXRob2RzLCBWZXJpZmljYXRpb24gYW5kIFZhbGlkYXRpb24uCiAgICAgICAgICAgICAgICAgIEFkYXB0YXRpb24gYW5kIExlYXJuaW5nIC0gMTF0aCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSwgSVNvTEEgMjAyMiwKICAgICAgICAgICAgICAgICAgUmhvZGVzLCBHcmVlY2UsIE9jdG9iZXIgMjItMzAsIDIwMjIsIFByb2NlZWRpbmdzLCBQYXJ0IHtJSUl9fSwKICBzZXJpZXMgICAgICAgPSB7TGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlfSwKICB2b2x1bWUgICAgICAgPSB7MTM3MDN9LAogIHBhZ2VzICAgICAgICA9IHs4Mi0tOTZ9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgeWVhciAgICAgICAgID0gezIwMjJ9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0wMzEtMTk3NTktOFxfNn0sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMxLTE5NzU5LThcXzZ9LAogIHRpbWVzdGFtcCAgICA9IHtXZWQsIDA3IERlYyAyMDIyIDAwOjAwOjAwICswMTAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9pc29sYS9OaWNvbGFTSVYyMi5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9CgoKCkBpbnByb2NlZWRpbmdze0RCTFA6Y29uZi9pc29sYS9TdGVmYW5vTDIxLAogIGF1dGhvciAgICAgICA9IHtMdWNhIERpIFN0ZWZhbm8gYW5kCiAgICAgICAgICAgICAgICAgIEZye1wne2V9fWR7XCd7ZX19cmljIExhbmd9LAogIGVkaXRvciAgICAgICA9IHtUaXppYW5hIE1hcmdhcmlhIGFuZAogICAgICAgICAgICAgICAgICBCZXJuaGFyZCBTdGVmZmVufSwKICB0aXRsZSAgICAgICAgPSB7VmVyaWZ5aW5nIFRlbXBvcmFsIFByb3BlcnRpZXMgb2YgU3RpZ21lcmdpYyBDb2xsZWN0aXZlIFN5c3RlbXMgVXNpbmcKICAgICAgICAgICAgICAgICAge0NBRFB9fSwKICBib29rdGl0bGUgICAgPSB7TGV2ZXJhZ2luZyBBcHBsaWNhdGlvbnMgb2YgRm9ybWFsIE1ldGhvZHMsIFZlcmlmaWNhdGlvbiBhbmQgVmFsaWRhdGlvbgogICAgICAgICAgICAgICAgICAtIDEwdGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gTGV2ZXJhZ2luZyBBcHBsaWNhdGlvbnMgb2YgRm9ybWFsCiAgICAgICAgICAgICAgICAgIE1ldGhvZHMsIElTb0xBIDIwMjEsIFJob2RlcywgR3JlZWNlLCBPY3RvYmVyIDE3LTI5LCAyMDIxLCBQcm9jZWVkaW5nc30sCiAgc2VyaWVzICAgICAgID0ge0xlY3R1cmUgTm90ZXMgaW4gQ29tcHV0ZXIgU2NpZW5jZX0sCiAgdm9sdW1lICAgICAgID0gezEzMDM2fSwKICBwYWdlcyAgICAgICAgPSB7NDczLS00ODl9LAogIHB1Ymxpc2hlciAgICA9IHtTcHJpbmdlcn0sCiAgeWVhciAgICAgICAgID0gezIwMjF9LAogIHVybCAgICAgICAgICA9IHtodHRwczovL2RvaS5vcmcvMTAuMTAwNy85NzgtMy0wMzAtODkxNTktNlxfMjl9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDA3Lzk3OC0zLTAzMC04OTE1OS02XF8yOX0sCiAgdGltZXN0YW1wICAgID0ge1dlZCwgMDMgTm92IDIwMjEgMDA6MDA6MDAgKzAxMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9jb25mL2lzb2xhL1N0ZWZhbm9MMjEuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL3NjcC9OaWNvbGFTSTIwLAogIGF1dGhvciAgICAgICA9IHtSb2NjbyBEZSBOaWNvbGEgYW5kCiAgICAgICAgICAgICAgICAgIEx1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgT21hciBJbnZlcnNvfSwKICB0aXRsZSAgICAgICAgPSB7TXVsdGktYWdlbnQgc3lzdGVtcyB3aXRoIHZpcnR1YWwgc3RpZ21lcmd5fSwKICBqb3VybmFsICAgICAgPSB7U2NpLiBDb21wdXQuIFByb2dyYW0ufSwKICB2b2x1bWUgICAgICAgPSB7MTg3fSwKICBwYWdlcyAgICAgICAgPSB7MTAyMzQ1fSwKICB5ZWFyICAgICAgICAgPSB7MjAyMH0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDE2L2ouc2NpY28uMjAxOS4xMDIzNDV9LAogIGRvaSAgICAgICAgICA9IHsxMC4xMDE2L0ouU0NJQ08uMjAxOS4xMDIzNDV9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDI2IEp1bCAyMDIxIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvam91cm5hbHMvc2NwL05pY29sYVNJMjAuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvY29vcmRpbmF0aW9uL1N0ZWZhbm9MUzIwLAogIGF1dGhvciAgICAgICA9IHtMdWNhIERpIFN0ZWZhbm8gYW5kCiAgICAgICAgICAgICAgICAgIEZye1wne2V9fWR7XCd7ZX19cmljIExhbmcgYW5kCiAgICAgICAgICAgICAgICAgIFdlbmRlbGluIFNlcndlfSwKICBlZGl0b3IgICAgICAgPSB7U2ltb24gQmxpdWR6ZSBhbmQKICAgICAgICAgICAgICAgICAgTGF1cmEgQm9jY2hpfSwKICB0aXRsZSAgICAgICAgPSB7Q29tYmluaW5nIFNMaVZFUiB3aXRoIHtDQURQfSB0byBBbmFseXplIE11bHRpLWFnZW50IFN5c3RlbXN9LAogIGJvb2t0aXRsZSAgICA9IHtDb29yZGluYXRpb24gTW9kZWxzIGFuZCBMYW5ndWFnZXMgLSAyMm5kIHtJRklQfSB7V0d9IDYuMSBJbnRlcm5hdGlvbmFsCiAgICAgICAgICAgICAgICAgIENvbmZlcmVuY2UsIHtDT09SRElOQVRJT059IDIwMjAsIEhlbGQgYXMgUGFydCBvZiB0aGUgMTV0aCBJbnRlcm5hdGlvbmFsCiAgICAgICAgICAgICAgICAgIEZlZGVyYXRlZCBDb25mZXJlbmNlIG9uIERpc3RyaWJ1dGVkIENvbXB1dGluZyBUZWNobmlxdWVzLCBEaXNDb1RlYwogICAgICAgICAgICAgICAgICAyMDIwLCBWYWxsZXR0YSwgTWFsdGEsIEp1bmUgMTUtMTksIDIwMjAsIFByb2NlZWRpbmdzfSwKICBzZXJpZXMgICAgICAgPSB7TGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlfSwKICB2b2x1bWUgICAgICAgPSB7MTIxMzR9LAogIHBhZ2VzICAgICAgICA9IHszNzAtLTM4NX0sCiAgcHVibGlzaGVyICAgID0ge1NwcmluZ2VyfSwKICB5ZWFyICAgICAgICAgPSB7MjAyMH0sCiAgdXJsICAgICAgICAgID0ge2h0dHBzOi8vZG9pLm9yZy8xMC4xMDA3Lzk3OC0zLTAzMC01MDAyOS0wXF8yM30sCiAgZG9pICAgICAgICAgID0gezEwLjEwMDcvOTc4LTMtMDMwLTUwMDI5LTBcXzIzfSwKICB0aW1lc3RhbXAgICAgPSB7TW9uLCAyNiBKdWwgMjAyMSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2NvbmYvY29vcmRpbmF0aW9uL1N0ZWZhbm9MUzIwLmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGFydGljbGV7REJMUDpqb3VybmFscy9maXJhaS9OaWNvbGFTSTE4LAogIGF1dGhvciAgICAgICA9IHtSb2NjbyBEZSBOaWNvbGEgYW5kCiAgICAgICAgICAgICAgICAgIEx1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgT21hciBJbnZlcnNvfSwKICB0aXRsZSAgICAgICAgPSB7VG93YXJkIEZvcm1hbCBNb2RlbHMgYW5kIExhbmd1YWdlcyBmb3IgVmVyaWZpYWJsZSBNdWx0aS1Sb2JvdCBTeXN0ZW1zfSwKICBqb3VybmFsICAgICAgPSB7RnJvbnRpZXJzIFJvYm90aWNzIHtBSX19LAogIHZvbHVtZSAgICAgICA9IHs1fSwKICBwYWdlcyAgICAgICAgPSB7OTR9LAogIHllYXIgICAgICAgICA9IHsyMDE4fSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjMzODkvZnJvYnQuMjAxOC4wMDA5NH0sCiAgZG9pICAgICAgICAgID0gezEwLjMzODkvRlJPQlQuMjAxOC4wMDA5NH0sCiAgdGltZXN0YW1wICAgID0ge1NhdCwgMDkgQXByIDIwMjIgMDE6MDA6MDAgKzAyMDB9LAogIGJpYnVybCAgICAgICA9IHtodHRwczovL2RibHAub3JnL3JlYy9qb3VybmFscy9maXJhaS9OaWNvbGFTSTE4LmJpYn0sCiAgYmlic291cmNlICAgID0ge2RibHAgY29tcHV0ZXIgc2NpZW5jZSBiaWJsaW9ncmFwaHksIGh0dHBzOi8vZGJscC5vcmd9Cn0KCgoKQGlucHJvY2VlZGluZ3N7REJMUDpjb25mL3N0YWYvTmljb2xhU0kxOCwKICBhdXRob3IgICAgICAgPSB7Um9jY28gRGUgTmljb2xhIGFuZAogICAgICAgICAgICAgICAgICBMdWNhIERpIFN0ZWZhbm8gYW5kCiAgICAgICAgICAgICAgICAgIE9tYXIgSW52ZXJzb30sCiAgZWRpdG9yICAgICAgID0ge01hbnVlbCBNYXp6YXJhIGFuZAogICAgICAgICAgICAgICAgICBJdWxpYW4gT2JlciBhbmQKICAgICAgICAgICAgICAgICAgR3dlbiBTYWxhe1wie3V9fW59LAogIHRpdGxlICAgICAgICA9IHtNdWx0aS1hZ2VudCBTeXN0ZW1zIHdpdGggVmlydHVhbCBTdGlnbWVyZ3l9LAogIGJvb2t0aXRsZSAgICA9IHtTb2Z0d2FyZSBUZWNobm9sb2dpZXM6IEFwcGxpY2F0aW9ucyBhbmQgRm91bmRhdGlvbnMgLSB7U1RBRn0gMjAxOAogICAgICAgICAgICAgICAgICBDb2xsb2NhdGVkIFdvcmtzaG9wcywgVG91bG91c2UsIEZyYW5jZSwgSnVuZSAyNS0yOSwgMjAxOCwgUmV2aXNlZAogICAgICAgICAgICAgICAgICBTZWxlY3RlZCBQYXBlcnN9LAogIHNlcmllcyAgICAgICA9IHtMZWN0dXJlIE5vdGVzIGluIENvbXB1dGVyIFNjaWVuY2V9LAogIHZvbHVtZSAgICAgICA9IHsxMTE3Nn0sCiAgcGFnZXMgICAgICAgID0gezM1MS0tMzY2fSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHllYXIgICAgICAgICA9IHsyMDE4fSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTMtMDMwLTA0NzcxLTlcXzI2fSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy85NzgtMy0wMzAtMDQ3NzEtOVxfMjZ9LAogIHRpbWVzdGFtcCAgICA9IHtTYXQsIDA5IEFwciAyMDIyIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9zdGFmL05pY29sYVNJMTguYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAYXJ0aWNsZXtEQkxQOmpvdXJuYWxzL2NvcnIvYWJzLTE4MDQtMDgwOTEsCiAgYXV0aG9yICAgICAgID0ge1JvY2NvIERlIE5pY29sYSBhbmQKICAgICAgICAgICAgICAgICAgTHVjYSBEaSBTdGVmYW5vIGFuZAogICAgICAgICAgICAgICAgICBPbWFyIEludmVyc299LAogIHRpdGxlICAgICAgICA9IHtUb3dhcmRzIGZvcm1hbCBtb2RlbHMgYW5kIGxhbmd1YWdlcyBmb3IgdmVyaWZpYWJsZSBNdWx0aS1Sb2JvdCBTeXN0ZW1zfSwKICBqb3VybmFsICAgICAgPSB7Q29SUn0sCiAgdm9sdW1lICAgICAgID0ge2Ficy8xODA0LjA4MDkxfSwKICB5ZWFyICAgICAgICAgPSB7MjAxOH0sCiAgdXJsICAgICAgICAgID0ge2h0dHA6Ly9hcnhpdi5vcmcvYWJzLzE4MDQuMDgwOTF9LAogIGVwcmludHR5cGUgICAgPSB7YXJYaXZ9LAogIGVwcmludCAgICAgICA9IHsxODA0LjA4MDkxfSwKICB0aW1lc3RhbXAgICAgPSB7TW9uLCAyNiBKdWwgMjAyMSAwMTowMDowMCArMDIwMH0sCiAgYmlidXJsICAgICAgID0ge2h0dHBzOi8vZGJscC5vcmcvcmVjL2pvdXJuYWxzL2NvcnIvYWJzLTE4MDQtMDgwOTEuYmlifSwKICBiaWJzb3VyY2UgICAgPSB7ZGJscCBjb21wdXRlciBzY2llbmNlIGJpYmxpb2dyYXBoeSwgaHR0cHM6Ly9kYmxwLm9yZ30KfQoKCgpAaW5wcm9jZWVkaW5nc3tEQkxQOmNvbmYvY29zaXQvU3RlZmFub0NTMTcsCiAgYXV0aG9yICAgICAgID0ge0x1Y2EgRGkgU3RlZmFubyBhbmQKICAgICAgICAgICAgICAgICAgRWxpc2VvIENsZW1lbnRpbmkgYW5kCiAgICAgICAgICAgICAgICAgIEVucmljbyBTdGFnbmluaX0sCiAgZWRpdG9yICAgICAgID0ge1Bhb2xvIEZvZ2xpYXJvbmkgYW5kCiAgICAgICAgICAgICAgICAgIEFuZHJlYSBCYWxsYXRvcmUgYW5kCiAgICAgICAgICAgICAgICAgIEVsaXNlbyBDbGVtZW50aW5pfSwKICB0aXRsZSAgICAgICAgPSB7UmVhY3RpdmUgT2JzdGFjbGUgQXZvaWRhbmNlIGZvciBNdWx0aWNvcHRlciBVQVZzIHZpYSBFdmFsdWF0aW9uIG9mCiAgICAgICAgICAgICAgICAgIERlcHRoIE1hcHN9LAogIGJvb2t0aXRsZSAgICA9IHtQcm9jZWVkaW5ncyBvZiBXb3Jrc2hvcHMgYW5kIFBvc3RlcnMgYXQgdGhlIDEzdGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlCiAgICAgICAgICAgICAgICAgIG9uIFNwYXRpYWwgSW5mb3JtYXRpb24gVGhlb3J5LCB7Q09TSVR9IDIwMTcsIFNlcHRlbWJlciA0LTgsIDIwMTcsCiAgICAgICAgICAgICAgICAgIEwnQXF1aWxhLCBJdGFseX0sCiAgc2VyaWVzICAgICAgID0ge0xlY3R1cmUgTm90ZXMgaW4gR2VvaW5mb3JtYXRpb24gYW5kIENhcnRvZ3JhcGh5fSwKICBwYWdlcyAgICAgICAgPSB7NDEtLTQzfSwKICBwdWJsaXNoZXIgICAgPSB7U3ByaW5nZXJ9LAogIHllYXIgICAgICAgICA9IHsyMDE3fSwKICB1cmwgICAgICAgICAgPSB7aHR0cHM6Ly9kb2kub3JnLzEwLjEwMDcvOTc4LTMtMzE5LTYzOTQ2LThcXzEwfSwKICBkb2kgICAgICAgICAgPSB7MTAuMTAwNy85NzgtMy0zMTktNjM5NDYtOFxfMTB9LAogIHRpbWVzdGFtcCAgICA9IHtNb24sIDI2IEp1bCAyMDIxIDAxOjAwOjAwICswMjAwfSwKICBiaWJ1cmwgICAgICAgPSB7aHR0cHM6Ly9kYmxwLm9yZy9yZWMvY29uZi9jb3NpdC9TdGVmYW5vQ1MxNy5iaWJ9LAogIGJpYnNvdXJjZSAgICA9IHtkYmxwIGNvbXB1dGVyIHNjaWVuY2UgYmlibGlvZ3JhcGh5LCBodHRwczovL2RibHAub3JnfQp9Cgo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://dblp.uni-trier.de/pid/215/9758.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://dblp.uni-trier.de/pid/215/9758.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://dblp.uni-trier.de/pid/215/9758.bib&amp;fullnames=1&amp;jsonp=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://dblp.uni-trier.de/pid/215/9758.bib&amp;fullnames=1&amp;jsonp=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://dblp.uni-trier.de/pid/215/9758.bib&amp;fullnames=1&amp;jsonp=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (5)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/s10009-023-00731-0\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023', 'https://doi.org/10.1007/s10009-023-00731-0', event);\">\n    Modelling flocks of birds and colonies of ants from the bottom up.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  Omar Inverso;  and  Serenella Valiani.\n</span>\n\n  \n\n</span>\n\n  <i>Int. J. Softw. Tools Technol. Transf.</i>, 25(5): 675–691.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/s10009-023-00731-0\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023', 'https://doi.org/10.1007/s10009-023-00731-0', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Modelling flocks of birds and colonies of ants from the bottom up [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/S10009-023-00731-0\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023', 'http://doi.org/10.1007/S10009-023-00731-0', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-valiani-modellingflocksofbirdsandcoloniesofantsfromthebottomup-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/sttt/NicolaSIV23,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  title        = {Modelling flocks of birds and colonies of ants from the bottom up},\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\n  volume       = {25},\n  number       = {5},\n  pages        = {675--691},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/s10009-023-00731-0},\n  doi          = {10.1007/S10009-023-00731-0},\n  timestamp    = {Wed, 06 Dec 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/sttt/NicolaSIV23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/s10009-023-00729-8\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023', 'https://doi.org/10.1007/s10009-023-00729-8', event);\">\n    Language support for verifying reconfigurable interacting systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Yehia Abd Alrahman;  Shaun Azzopardi;  Luca Di Stefano;  and  Nir Piterman.\n</span>\n\n  \n\n</span>\n\n  <i>Int. J. Softw. Tools Technol. Transf.</i>, 25(5): 765–784.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/s10009-023-00729-8\"\n     onclick=\"log_download('alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023', 'https://doi.org/10.1007/s10009-023-00729-8', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Language support for verifying reconfigurable interacting systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/S10009-023-00729-8\"\n     onclick=\"log_download('alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023', 'http://doi.org/10.1007/S10009-023-00729-8', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('alrahman-azzopardi-stefano-piterman-languagesupportforverifyingreconfigurableinteractingsystems-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/sttt/AlrahmanASP23,\n  author       = {Yehia Abd Alrahman and\n                  Shaun Azzopardi and\n                  Luca Di Stefano and\n                  Nir Piterman},\n  title        = {Language support for verifying reconfigurable interacting systems},\n  journal      = {Int. J. Softw. Tools Technol. Transf.},\n  volume       = {25},\n  number       = {5},\n  pages        = {765--784},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/s10009-023-00729-8},\n  doi          = {10.1007/S10009-023-00729-8},\n  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/journals/sttt/AlrahmanASP23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-031-42697-1\\_4\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023', 'https://doi.org/10.1007/978-3-031-42697-1\\_4', event);\">\n    Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  Omar Inverso;  and  Serenella Valiani.\n</span>\n\n  \n\n</span>\n\n  In  Jun Pang;  and  Joachim Niehren., editor(s), <i>Computational Methods in Systems Biology - 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings</i>, volume 14137, of <i>Lecture Notes in Computer Science</i>, pages 44–61,  2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-031-42697-1\\_4\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023', 'https://doi.org/10.1007/978-3-031-42697-1\\_4', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-42697-1_4\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023', 'http://doi.org/10.1007/978-3-031-42697-1_4', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-valiani-intuitivemodellingandformalanalysisofcollectivebehaviourinforagingants-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cmsb/NicolaSIV23,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Jun Pang and\n                  Joachim Niehren},\n  title        = {Intuitive Modelling and Formal Analysis of Collective Behaviour in\n                  Foraging Ants},\n  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,\n                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {14137},\n  pages        = {44--61},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-42697-1\\_4},\n  doi          = {10.1007/978-3-031-42697-1\\_4},\n  timestamp    = {Fri, 15 Sep 2023 15:00:48 +0200},\n  biburl       = {https://dblp.org/rec/conf/cmsb/NicolaSIV23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-031-24950-1\\_8\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023', 'https://doi.org/10.1007/978-3-031-24950-1\\_8', event);\">\n    Compositional Verification of Stigmergic Collective Systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Luca Di Stefano;  and  Frédéric Lang.\n</span>\n\n  \n\n</span>\n\n  In  Cezara Dragoi;  Michael Emmi;  and  Jingbo Wang., editor(s), <i>Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings</i>, volume 13881, of <i>Lecture Notes in Computer Science</i>, pages 155–176,  2023. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-031-24950-1\\_8\"\n     onclick=\"log_download('stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023', 'https://doi.org/10.1007/978-3-031-24950-1\\_8', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Compositional Verification of Stigmergic Collective Systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-24950-1_8\"\n     onclick=\"log_download('stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023', 'http://doi.org/10.1007/978-3-031-24950-1_8', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stefano-lang-compositionalverificationofstigmergiccollectivesystems-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/vmcai/StefanoL23,\n  author       = {Luca Di Stefano and\n                  Fr{\\&#x27;{e}}d{\\&#x27;{e}}ric Lang},\n  editor       = {Cezara Dragoi and\n                  Michael Emmi and\n                  Jingbo Wang},\n  title        = {Compositional Verification of Stigmergic Collective Systems},\n  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 24th International\n                  Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13881},\n  pages        = {155--176},\n  publisher    = {Springer},\n  year         = {2023},\n  url          = {https://doi.org/10.1007/978-3-031-24950-1\\_8},\n  doi          = {10.1007/978-3-031-24950-1\\_8},\n  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/vmcai/StefanoL23.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.48550/arXiv.2307.09776\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023', 'https://doi.org/10.48550/arXiv.2307.09776', event);\">\n    LTL Synthesis on Infinite-State Arenas defined by Programs.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Shaun Azzopardi;  Nir Piterman;  Gerardo Schneider;  and  Luca Di Stefano.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/2307.09776.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.48550/arXiv.2307.09776\"\n     onclick=\"log_download('azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023', 'https://doi.org/10.48550/arXiv.2307.09776', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"LTL Synthesis on Infinite-State Arenas defined by Programs [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.48550/ARXIV.2307.09776\"\n     onclick=\"log_download('azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023', 'http://doi.org/10.48550/ARXIV.2307.09776', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('azzopardi-piterman-schneider-stefano-ltlsynthesisoninfinitestatearenasdefinedbyprograms-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-2307-09776,\n  author       = {Shaun Azzopardi and\n                  Nir Piterman and\n                  Gerardo Schneider and\n                  Luca Di Stefano},\n  title        = {{LTL} Synthesis on Infinite-State Arenas defined by Programs},\n  journal      = {CoRR},\n  volume       = {abs/2307.09776},\n  year         = {2023},\n  url          = {https://doi.org/10.48550/arXiv.2307.09776},\n  doi          = {10.48550/ARXIV.2307.09776},\n  eprinttype    = {arXiv},\n  eprint       = {2307.09776},\n  timestamp    = {Tue, 25 Jul 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09776.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (4)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1016/j.scico.2022.102863\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022', 'https://doi.org/10.1016/j.scico.2022.102863', event);\">\n    Automated replication of tuple spaces via static analysis.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  Omar Inverso;  and  Aline Uwimbabazi.\n</span>\n\n  \n\n</span>\n\n  <i>Sci. Comput. Program.</i>, 223: 102863.  2022.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1016/j.scico.2022.102863\"\n     onclick=\"log_download('nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022', 'https://doi.org/10.1016/j.scico.2022.102863', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Automated replication of tuple spaces via static analysis [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1016/J.SCICO.2022.102863\"\n     onclick=\"log_download('nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022', 'http://doi.org/10.1016/J.SCICO.2022.102863', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-uwimbabazi-automatedreplicationoftuplespacesviastaticanalysis-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/scp/NicolaSIU22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Aline Uwimbabazi},\n  title        = {Automated replication of tuple spaces via static analysis},\n  journal      = {Sci. Comput. Program.},\n  volume       = {223},\n  pages        = {102863},\n  year         = {2022},\n  url          = {https://doi.org/10.1016/j.scico.2022.102863},\n  doi          = {10.1016/J.SCICO.2022.102863},\n  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSIU22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1145/3490387\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022', 'https://doi.org/10.1145/3490387', event);\">\n    Verification of Distributed Systems via Sequential Emulation.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Luca Di Stefano;  Rocco De Nicola;  and  Omar Inverso.\n</span>\n\n  \n\n</span>\n\n  <i>ACM Trans. Softw. Eng. Methodol.</i>, 31(3): 37:1–37:41.  2022.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1145/3490387\"\n     onclick=\"log_download('stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022', 'https://doi.org/10.1145/3490387', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Verification of Distributed Systems via Sequential Emulation [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3490387\"\n     onclick=\"log_download('stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022', 'http://doi.org/10.1145/3490387', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stefano-nicola-inverso-verificationofdistributedsystemsviasequentialemulation-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/tosem/StefanoNI22,\n  author       = {Luca Di Stefano and\n                  Rocco De Nicola and\n                  Omar Inverso},\n  title        = {Verification of Distributed Systems via Sequential Emulation},\n  journal      = {{ACM} Trans. Softw. Eng. Methodol.},\n  volume       = {31},\n  number       = {3},\n  pages        = {37:1--37:41},\n  year         = {2022},\n  url          = {https://doi.org/10.1145/3490387},\n  doi          = {10.1145/3490387},\n  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/tosem/StefanoNI22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-031-15629-8\\_27\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022', 'https://doi.org/10.1007/978-3-031-15629-8\\_27', event);\">\n    Process Algebras and Flocks of Birds.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  Omar Inverso;  and  Serenella Valiani.\n</span>\n\n  \n\n</span>\n\n  In  Nils Jansen;  Mariëlle Stoelinga;  and  Petra Bos., editor(s), <i>A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday</i>, volume 13560, of <i>Lecture Notes in Computer Science</i>, pages 512–523,  2022. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-031-15629-8\\_27\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022', 'https://doi.org/10.1007/978-3-031-15629-8\\_27', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Process Algebras and Flocks of Birds [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-15629-8_27\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022', 'http://doi.org/10.1007/978-3-031-15629-8_27', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-valiani-processalgebrasandflocksofbirds-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/birthday/NicolaSIV22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Nils Jansen and\n                  Mari{\\&quot;{e}}lle Stoelinga and\n                  Petra van den Bos},\n  title        = {Process Algebras and Flocks of Birds},\n  booktitle    = {A Journey from Process Algebra via Timed Automata to Model Learning\n                  - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th\n                  Birthday},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13560},\n  pages        = {512--523},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-15629-8\\_27},\n  doi          = {10.1007/978-3-031-15629-8\\_27},\n  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/birthday/NicolaSIV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-031-19759-8\\_6\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022', 'https://doi.org/10.1007/978-3-031-19759-8\\_6', event);\">\n    Modelling Flocks of Birds from the Bottom Up.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  Omar Inverso;  and  Serenella Valiani.\n</span>\n\n  \n\n</span>\n\n  In  Tiziana Margaria;  and  Bernhard Steffen., editor(s), <i>Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III</i>, volume 13703, of <i>Lecture Notes in Computer Science</i>, pages 82–96,  2022. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-031-19759-8\\_6\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022', 'https://doi.org/10.1007/978-3-031-19759-8\\_6', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Modelling Flocks of Birds from the Bottom Up [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-031-19759-8_6\"\n     onclick=\"log_download('nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022', 'http://doi.org/10.1007/978-3-031-19759-8_6', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-valiani-modellingflocksofbirdsfromthebottomup-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/isola/NicolaSIV22,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso and\n                  Serenella Valiani},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Modelling Flocks of Birds from the Bottom Up},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.\n                  Adaptation and Learning - 11th International Symposium, ISoLA 2022,\n                  Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13703},\n  pages        = {82--96},\n  publisher    = {Springer},\n  year         = {2022},\n  url          = {https://doi.org/10.1007/978-3-031-19759-8\\_6},\n  doi          = {10.1007/978-3-031-19759-8\\_6},\n  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isola/NicolaSIV22.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-030-89159-6\\_29\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021', 'https://doi.org/10.1007/978-3-030-89159-6\\_29', event);\">\n    Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Luca Di Stefano;  and  Frédéric Lang.\n</span>\n\n  \n\n</span>\n\n  In  Tiziana Margaria;  and  Bernhard Steffen., editor(s), <i>Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings</i>, volume 13036, of <i>Lecture Notes in Computer Science</i>, pages 473–489,  2021. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-030-89159-6\\_29\"\n     onclick=\"log_download('stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021', 'https://doi.org/10.1007/978-3-030-89159-6\\_29', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Verifying Temporal Properties of Stigmergic Collective Systems Using CADP [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-030-89159-6_29\"\n     onclick=\"log_download('stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021', 'http://doi.org/10.1007/978-3-030-89159-6_29', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stefano-lang-verifyingtemporalpropertiesofstigmergiccollectivesystemsusingcadp-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/isola/StefanoL21,\n  author       = {Luca Di Stefano and\n                  Fr{\\&#x27;{e}}d{\\&#x27;{e}}ric Lang},\n  editor       = {Tiziana Margaria and\n                  Bernhard Steffen},\n  title        = {Verifying Temporal Properties of Stigmergic Collective Systems Using\n                  {CADP}},\n  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation\n                  - 10th International Symposium on Leveraging Applications of Formal\n                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {13036},\n  pages        = {473--489},\n  publisher    = {Springer},\n  year         = {2021},\n  url          = {https://doi.org/10.1007/978-3-030-89159-6\\_29},\n  doi          = {10.1007/978-3-030-89159-6\\_29},\n  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},\n  biburl       = {https://dblp.org/rec/conf/isola/StefanoL21.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1016/j.scico.2019.102345\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020', 'https://doi.org/10.1016/j.scico.2019.102345', event);\">\n    Multi-agent systems with virtual stigmergy.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  and  Omar Inverso.\n</span>\n\n  \n\n</span>\n\n  <i>Sci. Comput. Program.</i>, 187: 102345.  2020.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1016/j.scico.2019.102345\"\n     onclick=\"log_download('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020', 'https://doi.org/10.1016/j.scico.2019.102345', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Multi-agent systems with virtual stigmergy [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1016/J.SCICO.2019.102345\"\n     onclick=\"log_download('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020', 'http://doi.org/10.1016/J.SCICO.2019.102345', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/scp/NicolaSI20,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Multi-agent systems with virtual stigmergy},\n  journal      = {Sci. Comput. Program.},\n  volume       = {187},\n  pages        = {102345},\n  year         = {2020},\n  url          = {https://doi.org/10.1016/j.scico.2019.102345},\n  doi          = {10.1016/J.SCICO.2019.102345},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/scp/NicolaSI20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-030-50029-0\\_23\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020', 'https://doi.org/10.1007/978-3-030-50029-0\\_23', event);\">\n    Combining SLiVER with CADP to Analyze Multi-agent Systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Luca Di Stefano;  Frédéric Lang;  and  Wendelin Serwe.\n</span>\n\n  \n\n</span>\n\n  In  Simon Bliudze;  and  Laura Bocchi., editor(s), <i>Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings</i>, volume 12134, of <i>Lecture Notes in Computer Science</i>, pages 370–385,  2020. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-030-50029-0\\_23\"\n     onclick=\"log_download('stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020', 'https://doi.org/10.1007/978-3-030-50029-0\\_23', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Combining SLiVER with CADP to Analyze Multi-agent Systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-030-50029-0_23\"\n     onclick=\"log_download('stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020', 'http://doi.org/10.1007/978-3-030-50029-0_23', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stefano-lang-serwe-combiningsliverwithcadptoanalyzemultiagentsystems-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/coordination/StefanoLS20,\n  author       = {Luca Di Stefano and\n                  Fr{\\&#x27;{e}}d{\\&#x27;{e}}ric Lang and\n                  Wendelin Serwe},\n  editor       = {Simon Bliudze and\n                  Laura Bocchi},\n  title        = {Combining SLiVER with {CADP} to Analyze Multi-agent Systems},\n  booktitle    = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International\n                  Conference, {COORDINATION} 2020, Held as Part of the 15th International\n                  Federated Conference on Distributed Computing Techniques, DisCoTec\n                  2020, Valletta, Malta, June 15-19, 2020, Proceedings},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {12134},\n  pages        = {370--385},\n  publisher    = {Springer},\n  year         = {2020},\n  url          = {https://doi.org/10.1007/978-3-030-50029-0\\_23},\n  doi          = {10.1007/978-3-030-50029-0\\_23},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/coordination/StefanoLS20.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.3389/frobt.2018.00094\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018', 'https://doi.org/10.3389/frobt.2018.00094', event);\">\n    Toward Formal Models and Languages for Verifiable Multi-Robot Systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  and  Omar Inverso.\n</span>\n\n  \n\n</span>\n\n  <i>Frontiers Robotics AI</i>, 5: 94.  2018.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.3389/frobt.2018.00094\"\n     onclick=\"log_download('nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018', 'https://doi.org/10.3389/frobt.2018.00094', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Toward Formal Models and Languages for Verifiable Multi-Robot Systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.3389/FROBT.2018.00094\"\n     onclick=\"log_download('nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018', 'http://doi.org/10.3389/FROBT.2018.00094', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-towardformalmodelsandlanguagesforverifiablemultirobotsystems-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/firai/NicolaSI18,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Toward Formal Models and Languages for Verifiable Multi-Robot Systems},\n  journal      = {Frontiers Robotics {AI}},\n  volume       = {5},\n  pages        = {94},\n  year         = {2018},\n  url          = {https://doi.org/10.3389/frobt.2018.00094},\n  doi          = {10.3389/FROBT.2018.00094},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/firai/NicolaSI18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-030-04771-9\\_26\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018', 'https://doi.org/10.1007/978-3-030-04771-9\\_26', event);\">\n    Multi-agent Systems with Virtual Stigmergy.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  and  Omar Inverso.\n</span>\n\n  \n\n</span>\n\n  In  Manuel Mazzara;  Iulian Ober;  and  Gwen Salaün., editor(s), <i>Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers</i>, volume 11176, of <i>Lecture Notes in Computer Science</i>, pages 351–366,  2018. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-030-04771-9\\_26\"\n     onclick=\"log_download('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018', 'https://doi.org/10.1007/978-3-030-04771-9\\_26', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Multi-agent Systems with Virtual Stigmergy [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-030-04771-9_26\"\n     onclick=\"log_download('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018', 'http://doi.org/10.1007/978-3-030-04771-9_26', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-multiagentsystemswithvirtualstigmergy-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/staf/NicolaSI18,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  editor       = {Manuel Mazzara and\n                  Iulian Ober and\n                  Gwen Sala{\\&quot;{u}}n},\n  title        = {Multi-agent Systems with Virtual Stigmergy},\n  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2018\n                  Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised\n                  Selected Papers},\n  series       = {Lecture Notes in Computer Science},\n  volume       = {11176},\n  pages        = {351--366},\n  publisher    = {Springer},\n  year         = {2018},\n  url          = {https://doi.org/10.1007/978-3-030-04771-9\\_26},\n  doi          = {10.1007/978-3-030-04771-9\\_26},\n  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/staf/NicolaSI18.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"http://arxiv.org/abs/1804.08091\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018', 'http://arxiv.org/abs/1804.08091', event);\">\n    Towards formal models and languages for verifiable Multi-Robot Systems.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Rocco De Nicola;  Luca Di Stefano;  and  Omar Inverso.\n</span>\n\n  \n\n</span>\n\n  <i>CoRR</i>, abs/1804.08091.  2018.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"http://arxiv.org/abs/1804.08091\"\n     onclick=\"log_download('nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018', 'http://arxiv.org/abs/1804.08091', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Towards formal models and languages for verifiable Multi-Robot Systems [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('nicola-stefano-inverso-towardsformalmodelsandlanguagesforverifiablemultirobotsystems-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{DBLP:journals/corr/abs-1804-08091,\n  author       = {Rocco De Nicola and\n                  Luca Di Stefano and\n                  Omar Inverso},\n  title        = {Towards formal models and languages for verifiable Multi-Robot Systems},\n  journal      = {CoRR},\n  volume       = {abs/1804.08091},\n  year         = {2018},\n  url          = {http://arxiv.org/abs/1804.08091},\n  eprinttype    = {arXiv},\n  eprint       = {1804.08091},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08091.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://doi.org/10.1007/978-3-319-63946-8\\_10\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017', 'https://doi.org/10.1007/978-3-319-63946-8\\_10', event);\">\n    Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n   Luca Di Stefano;  Eliseo Clementini;  and  Enrico Stagnini.\n</span>\n\n  \n\n</span>\n\n  In  Paolo Fogliaroni;  Andrea Ballatore;  and  Eliseo Clementini., editor(s), <i>Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy</i>, of <i>Lecture Notes in Geoinformation and Cartography</i>, pages 41–43,  2017. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://doi.org/10.1007/978-3-319-63946-8\\_10\"\n     onclick=\"log_download('stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017', 'https://doi.org/10.1007/978-3-319-63946-8\\_10', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1007/978-3-319-63946-8_10\"\n     onclick=\"log_download('stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017', 'http://doi.org/10.1007/978-3-319-63946-8_10', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('stefano-clementini-stagnini-reactiveobstacleavoidanceformulticopteruavsviaevaluationofdepthmaps-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{DBLP:conf/cosit/StefanoCS17,\n  author       = {Luca Di Stefano and\n                  Eliseo Clementini and\n                  Enrico Stagnini},\n  editor       = {Paolo Fogliaroni and\n                  Andrea Ballatore and\n                  Eliseo Clementini},\n  title        = {Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of\n                  Depth Maps},\n  booktitle    = {Proceedings of Workshops and Posters at the 13th International Conference\n                  on Spatial Information Theory, {COSIT} 2017, September 4-8, 2017,\n                  L&#x27;Aquila, Italy},\n  series       = {Lecture Notes in Geoinformation and Cartography},\n  pages        = {41--43},\n  publisher    = {Springer},\n  year         = {2017},\n  url          = {https://doi.org/10.1007/978-3-319-63946-8\\_10},\n  doi          = {10.1007/978-3-319-63946-8\\_10},\n  timestamp    = {Mon, 26 Jul 2021 01:00:00 +0200},\n  biburl       = {https://dblp.org/rec/conf/cosit/StefanoCS17.bib},\n  bibsource    = {dblp computer science bibliography, https://dblp.org}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);