Author of the publication

Quantitative Analysis of Multiagent Systems Through Statistical Model Checking.

, , , and . EMAS@AAMAS, volume 9318 of Lecture Notes in Computer Science, page 109-130. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Co-evolution of auction mechanisms and strategies: Towards a novel approach to microeconomic design, , , and . ULCS-02-004. Department of Computer Science, University of Liverpool, UK, (2002)Trading in markets with noisy information: an evolutionary analysis., , , and . Connect. Sci., 27 (3): 253-268 (2015)Arguing for gaining access to information., , , and . AAMAS, page 20. IFAAMAS, (2007)What kind of argument are we going to have today?, , and . AAMAS, page 544-551. ACM, (2005)Foreword., , and . Synthese, 149 (2): 255-256 (2006)Characterising and matching iterative and recursive agent interaction protocols., and . AAMAS, page 1207-1214. IFAAMAS, (2010)Validation and Verification of Smart Contracts: A Research Agenda., , and . Computer, 50 (9): 50-57 (2017)AAAI-2002 Fall Symposium Series., , , , , , , , , and 1 other author(s). AI Magazine, 24 (1): 95-98 (2003)Argument schemes for reasoning about trust., , , , , , , , and . Argument Comput., 5 (2-3): 160-190 (2014)A characterization of types of support between structured arguments and their relationship with support in abstract argumentation., , , and . Int. J. Approx. Reason., (2018)