%0 Conference Paper %1 conf/atal/LomuscioP20 %A Lomuscio, Alessio %A Pirovano, Edoardo %B AAMAS %D 2020 %E Seghrouchni, Amal El Fallah %E Sukthankar, Gita %E An, Bo %E Yorke-Smith, Neil %I International Foundation for Autonomous Agents and Multiagent Systems %K dblp %P 762-770 %T Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. %U http://dblp.uni-trier.de/db/conf/atal/aamas2020.html#LomuscioP20 %@ 978-1-4503-7518-4

@inproceedings{conf/atal/LomuscioP20, added-at = {2022-07-26T00:00:00.000+0200}, author = {Lomuscio, Alessio and Pirovano, Edoardo}, biburl = {https://www.bibsonomy.org/bibtex/2af10afe4f59b82890056a6cdecc23fe7/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2020}, editor = {Seghrouchni, Amal El Fallah and Sukthankar, Gita and An, Bo and Yorke-Smith, Neil}, ee = {https://www.ifaamas.org/Proceedings/aamas2020/pdfs/p762.pdf}, interhash = {3b6b89439cbb7a83a1bdea0a4b5c0edf}, intrahash = {af10afe4f59b82890056a6cdecc23fe7}, isbn = {978-1-4503-7518-4}, keywords = {dblp}, pages = {762-770}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, timestamp = {2024-04-10T02:25:00.000+0200}, title = {Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2020.html#LomuscioP20}, year = 2020 }