Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.4424
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Verification of Multiple Agent Knowledge-Based Systems

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

Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism

International Journal of Information Technology and Computer Science
2019English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

The Information Systems Artifact: A Conceptualization Based on General Systems Theory

2017English

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

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

HLA-Transparent Distributed Simulation of Agent-Based Systems

2010English

Scenario-Based Trustworthiness Verification for Systems of Internet of Things

International Journal of Internet Protocol Technology
Computer NetworksCommunications
2018English

Distributed Simulation of Agent-Based Systems With HLA

ACM Transactions on Modeling and Computer Simulation
ModelingComputer Science ApplicationsSimulation
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy