Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings > DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings |
Matteo Baldoni; Mehdi Dastani; Beishui Liao; Yuko Sakurai; Rym Zalila Wenkstern
Springer International Publishing
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings
DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs
Authors

Yenda Ramesh; Nikhil Anand; M. V. Panduranga Rao

ARI Id

1665220495678_5424658

Access

Not Available Free

Pages

627-634

DOI

10.1007/978-3-030-33792-6_49

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-33792-6_49

Table of Contents of Book
Showing 1 to 20 of 54 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xvii
Front Matter
1-1
Deliberation Towards Transitivity with Unshared Features
Arthur Boixel; Pierre Bisquert; Madalina Croitoru
3-18
K-ACE: A Flexible Environment for Knowledge-Aware Multi-Agent Systems
Stefania Costantini; Valentina Pitoni
19-35
Formal Analysis of Responsibility Attribution in a Multimodal Framework
Daniela Glavaničová; Matteo Pascucci
36-51
Decidable Verification of Agent-Based Data-Aware Systems
Francesco Belardinelli; Vadim Malvone
52-68
New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing
Khoi D. Hoang; Christabel Wayllace; William Yeoh; Jacob Beal; Soura Dasgupta; Yuanqiu Mo et al.
69-86
A Distributed and Clustering-Based Algorithm for the Enumeration Problem in Abstract Argumentation
Sylvie Doutre; Mickaël Lafages; Marie-Christine Lagasquie-Schiex
87-105
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification
Rodica Condurache; Riccardo De Masellis; Valentin Goranko
106-122
Usefulness of Information for Goal Achievement
Laurence Cholvy; Célia da Costa Pereira
123-137
A Scheduler for Smart Homes with Probabilistic User Preferences
Van Nguyen; William Yeoh; Tran Cao Son; Vladik Kreinovich; Tiep Le
138-152
Supply Chain Management World
Yasser Mohammad; Enrique Areyan Viqueira; Nahum Alvarez Ayerza; Amy Greenwald; Shinji Nakadai; Satoshi Morinaga
153-169
Coordination of Mobile Agents for Simultaneous Coverage
Petra Mazdin; Bernhard Rinner
170-185
MCTS-Based Automated Negotiation Agent
Cédric L. R. Buron; Zahia Guessoum; Sylvain Ductor
186-201
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
Tim Lyon; Kees van Berkel
202-218
Selfish Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation
Tin Leelavimolsilp; Viet Nguyen; Sebastian Stein; Long Tran-Thanh
219-234
A Co-evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market
Célia da Costa Pereira; Sara Bevilacqua; Eric Guerci; Frédéric Precioso; Claudio Sartori
235-250
Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents
Volha Petukhova; Firuza Sharifullaeva; Dietrich Klakow
251-270
Doxastic Group Reasoning via Multiple Belief Shadowing
Barbara Dunin-Kęplicz; Inga Rüb; Andrzej Szałas
271-288
Subset Spaces for Conditional Norms
Huimin Dong; R. Ramanujam; Yì N. Wáng
289-304
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 54 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings