Property-based Slicing for Agent Verification

Authors:
Rafael H. Bordini;Michael Fisher;Michael Wooldridge;Willem Visser
Affiliations:
-;-;-;-
Venue:
Journal of Logic and Computation
Year:
2009

Citing 0
Cited 5

Where logic and agents meet

Annals of Mathematics and Artificial Intelligence
Model checking agent programming languages

Automated Software Engineering
Agent and multi-agent software engineering: modelling, programming, and verification

DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
State space reduction for model checking agent programs

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the recent years, several formal approaches to the specification of normative multi-agent systems (MASs) and artificial institutions have been proposed. The aim of this article is to advance the state of the art in this area by proposing an approach ...