%0 Conference Paper %1 conf/ijcai/LomuscioP18 %A Lomuscio, Alessio %A Pirovano, Edoardo %B IJCAI %D 2018 %E Lang, Jérôme %I ijcai.org %K dblp %P 403-409 %T Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#LomuscioP18 %@ 978-0-9992411-2-7

@inproceedings{conf/ijcai/LomuscioP18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lomuscio, Alessio and Pirovano, Edoardo}, biburl = {https://www.bibsonomy.org/bibtex/246dc531172efba5ede97efb6b8538359/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2018}, editor = {Lang, Jérôme}, ee = {https://doi.org/10.24963/ijcai.2018/56}, interhash = {308e1dd89e6f3618e950d158e68a9b80}, intrahash = {46dc531172efba5ede97efb6b8538359}, isbn = {978-0-9992411-2-7}, keywords = {dblp}, pages = {403-409}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:30:15.000+0200}, title = {Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#LomuscioP18}, year = 2018 }