%0 Conference Paper %1 conf/ijcai/LomuscioP20 %A Lomuscio, Alessio %A Pirovano, Edoardo %B IJCAI %D 2020 %E Bessiere, Christian %I ijcai.org %K dblp %P 325-331 %T Verifying Fault-Tolerance in Probabilistic Swarm Systems. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#LomuscioP20

@inproceedings{conf/ijcai/LomuscioP20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Lomuscio, Alessio and Pirovano, Edoardo}, biburl = {https://www.bibsonomy.org/bibtex/22e9aa0226db4c1e6f27ae4342e633009/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2020}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.24963/ijcai.2020/46}, interhash = {daa2a429c12ae94b9680fd756aa9824c}, intrahash = {2e9aa0226db4c1e6f27ae4342e633009}, keywords = {dblp}, note = {Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic.}, pages = {325-331}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:28:40.000+0200}, title = {Verifying Fault-Tolerance in Probabilistic Swarm Systems.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#LomuscioP20}, year = 2020 }