Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-20674-0_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Resource Sharing in Distributed Environment Using Multi-Agent Technology

International Journal of Computer Applications
2017English

Flexible Coordinator Design for Modeling Resource Sharing in Multi-Agent Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2009English

Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
2001English

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Multi-Agent Radio Resource Allocation

Mobile Networks and Applications
Information SystemsComputer NetworksHardwareCommunicationsArchitectureSoftware
2006English

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification of Multiple Agent Knowledge-Based Systems

International Journal of Intelligent Systems
Theoretical Computer ScienceHuman-Computer InteractionArtificial IntelligenceSoftware
2001English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy