Verifying Multi-agent Programs by Model Checking

Saved in:
Bibliographic Details
Published in:Autonomous agents and multi-agent systems Vol. 12; no. 2; pp. 239 - 256
Main Authors: Bordini, Rafael H., Fisher, Michael, Visser, Willem, Wooldridge, Michael
Format: Journal Article
Language:English
Published: 01.03.2006
ISSN:1387-2532, 1573-7454
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Author Bordini, Rafael H.
Visser, Willem
Fisher, Michael
Wooldridge, Michael
Author_xml – sequence: 1
  givenname: Rafael H.
  surname: Bordini
  fullname: Bordini, Rafael H.
– sequence: 2
  givenname: Michael
  surname: Fisher
  fullname: Fisher, Michael
– sequence: 3
  givenname: Willem
  surname: Visser
  fullname: Visser, Willem
– sequence: 4
  givenname: Michael
  surname: Wooldridge
  fullname: Wooldridge, Michael
BookMark eNp9j71OwzAUhS1UJNrCA7DlBQx2_Hczooo_qRUMwGrdOE4wpAmyzZC3J1WZGLjLucP5jvStyGIYB0_IJWdXnDFznTiTCihjmqpKKWpOyJIrI6iRSi7mX4ChpRLlGVml9MEY16XmS8LefAztFIau2H33OVDs_JCL5zh2EfepqKdiNza-Lzbv3n3OtXNy2mKf_MVvrsnr3e3L5oFun-4fNzdb6kqATLEWgKpyxmstvK8kKlEr1zQVNMC5h1ZWiIBO1YJLlFBDOZ9ohK40KCHWxBx3XRxTir61LmTMYRxyxNBbzuxB3B7F7SxuD-LWzCT_Q37FsMc4_cP8AJ51XCc
CitedBy_id crossref_primary_10_1007_s00165_016_0391_1
crossref_primary_10_1145_3447246
crossref_primary_10_1109_THMS_2015_2429573
crossref_primary_10_1007_s10458_021_09529_3
crossref_primary_10_1007_s13218_011_0152_5
crossref_primary_10_1007_s10458_014_9275_z
crossref_primary_10_1145_1380572_1380578
crossref_primary_10_1080_00218839_2024_2435223
crossref_primary_10_1007_s10458_020_09487_2
crossref_primary_10_1016_j_jss_2017_05_098
crossref_primary_10_1162_NECO_a_00493
crossref_primary_10_1007_s10489_017_1112_z
crossref_primary_10_3103_S0146411614070086
crossref_primary_10_1080_00207721_2013_793890
crossref_primary_10_1134_S0361768812060047
crossref_primary_10_1017_S0269888914000228
crossref_primary_10_1093_logcom_exab091
crossref_primary_10_1007_s10270_023_01121_5
crossref_primary_10_1016_j_scico_2021_102760
crossref_primary_10_1016_j_artint_2019_103170
crossref_primary_10_1016_j_ijar_2019_12_017
crossref_primary_10_1016_j_ipl_2024_106533
crossref_primary_10_1016_j_eswa_2014_04_008
crossref_primary_10_1093_logcom_exp029
crossref_primary_10_1111_j_1467_8640_2007_00295_x
crossref_primary_10_1007_s10588_012_9128_8
crossref_primary_10_1007_s40860_020_00123_0
crossref_primary_10_3233_AIC_220115
crossref_primary_10_1007_s10270_020_00807_4
crossref_primary_10_1007_s10458_008_9065_6
crossref_primary_10_1007_s10515_014_0168_9
crossref_primary_10_1007_s10472_008_9092_7
crossref_primary_10_1007_s10458_010_9129_2
crossref_primary_10_1007_s10472_010_9223_9
crossref_primary_10_1016_j_scico_2017_05_008
crossref_primary_10_1016_j_scico_2019_102345
crossref_primary_10_1155_2022_2197224
crossref_primary_10_1007_s10458_010_9140_7
crossref_primary_10_1145_2494558
crossref_primary_10_1007_s10515_011_0088_x
Cites_doi 10.1109/AERO.1999.794236
10.7551/mitpress/5804.001.0001
10.1007/BFb0031845
10.1007/978-3-540-25936-7_4
10.1016/0004-3702(90)90055-5
10.1145/191246.191320
10.1093/logcom/8.3.293
10.1023/B:AMAI.0000034527.45635.e5
10.1007/0-387-26350-0_1
10.7551/mitpress/2516.001.0001
10.1109/ASE.2000.873645
10.1007/s10458-004-3140-4
10.1145/337180.337234
10.1007/BFb0026757
10.1016/S0004-3702(98)00068-X
10.1109/32.588521
10.1007/978-3-540-45069-6_10
10.1109/MIS.2004.47
10.1145/860575.860641
10.1145/940071.940107
10.1109/32.940728
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1007/s10458-006-5955-7
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1573-7454
EndPage 256
ExternalDocumentID 10_1007_s10458_006_5955_7
GroupedDBID -Y2
-~C
.86
.DC
.VR
06D
0R~
0VY
1N0
1SB
203
23N
2J2
2JN
2JY
2KG
2KM
2LR
2P1
2VQ
2~H
30V
4.4
406
408
409
40D
40E
5GY
5VS
67Z
6J9
6NX
6TJ
8TC
8UJ
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYXX
ABAKF
ABBBX
ABBRH
ABBXA
ABDBE
ABDZT
ABECU
ABFSG
ABFTD
ABFTV
ABHLI
ABHQN
ABJCF
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABRTQ
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFO
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACREN
ACSNA
ACSTC
ACZOJ
ADHHG
ADHIR
ADHKG
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADYOE
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AENEX
AEOHA
AEPYU
AETLH
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFFHD
AFGCZ
AFHIU
AFKRA
AFLOW
AFOHR
AFQWF
AFWTZ
AFYQB
AFZKB
AGAYW
AGDGC
AGGDS
AGJBK
AGMZJ
AGQEE
AGQMX
AGQPQ
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AIXLP
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMTXH
AMXSW
AMYLF
AMYQR
AOCGG
ARAPS
ARMRJ
ASPBG
ATHPR
AVWKF
AXYYD
AYFIA
AYJHY
AZFZN
B-.
BA0
BDATZ
BENPR
BGLVJ
BGNMA
BSONS
CAG
CCPQU
CITATION
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
EBLON
EBS
EIOEI
EJD
ESBYG
F5P
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ7
GQ8
GXS
H13
HCIFZ
HF~
HG5
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I09
IHE
IJ-
IKXTQ
ITM
IWAJR
IXC
IXE
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JBSCW
JCJTX
JZLTJ
K7-
KDC
KOV
LAK
LLZTM
M4Y
M7S
MA-
N2Q
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
OVD
P2P
P9O
PF0
PHGZM
PHGZT
PQGLB
PT4
PT5
PTHSS
QOS
R89
R9I
RNI
RNS
ROL
RPX
RSV
RZC
RZE
RZK
S16
S1Z
S27
S3B
SAP
SCO
SDH
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TEORI
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
YLTOR
Z45
ZMTXR
ID FETCH-LOGICAL-c288t-ab38a59c7e663ee94a53b5cdd98d811e8f49aa8ac5b314a48b822223d36968533
IEDL.DBID RSV
ISICitedReferencesCount 99
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000236095400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1387-2532
IngestDate Tue Nov 18 22:06:30 EST 2025
Sat Nov 29 01:33:07 EST 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 2
Language English
License http://www.springer.com/tdm
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c288t-ab38a59c7e663ee94a53b5cdd98d811e8f49aa8ac5b314a48b822223d36968533
OpenAccessLink https://durham-repository.worktribe.com/output/1558637
PageCount 18
ParticipantIDs crossref_citationtrail_10_1007_s10458_006_5955_7
crossref_primary_10_1007_s10458_006_5955_7
PublicationCentury 2000
PublicationDate 2006-03-00
PublicationDateYYYYMMDD 2006-03-01
PublicationDate_xml – month: 03
  year: 2006
  text: 2006-03-00
PublicationDecade 2000
PublicationTitle Autonomous agents and multi-agent systems
PublicationYear 2006
References 5955_CR3
5955_CR2
5955_CR4
5955_CR7
E. Allen Emerson (5955_CR1) 1990
5955_CR6
A. S. Rao (5955_CR32) 1998; 8
5955_CR9
5955_CR8
5955_CR23
5955_CR22
5955_CR20
5955_CR26
5955_CR24
M. d’Inverno (5955_CR16) 1998; 8
W. Hoek van der (5955_CR21) 2002
M. Wooldridge (5955_CR38) 2000
5955_CR28
M. P. Singh (5955_CR35) 1999
D. Kinny (5955_CR25) 1993
N. Muscettola (5955_CR27) 1998; 103
R. H. Bordini (5955_CR5) 2004a; 19
P. R. Cohen (5955_CR13) 1990; 42
5955_CR30
5955_CR34
5955_CR11
5955_CR33
5955_CR10
5955_CR31
5955_CR15
5955_CR37
5955_CR14
5955_CR36
5955_CR18
5955_CR17
E. M. Clarke (5955_CR12) 2000
D. Harel (5955_CR19) 2000
G. D. Plotkin (5955_CR29) 1981
M. Wooldridge (5955_CR39) 2002
References_xml – ident: 5955_CR3
– ident: 5955_CR37
  doi: 10.1109/AERO.1999.794236
– volume: 8
  start-page: 1
  issue: 3
  year: 1998
  ident: 5955_CR16
  publication-title: Journal of Logic and Computation
– start-page: 952
  volume-title: Proceedings of the first international joint conference on autonomous agents and multi-agent systems (AAMAS-2002), 15–19 July, Bologna, Italy
  year: 2002
  ident: 5955_CR39
– ident: 5955_CR18
– ident: 5955_CR24
– volume-title: Model checking
  year: 2000
  ident: 5955_CR12
– volume-title: A structural approach to operational semantics
  year: 1981
  ident: 5955_CR29
– volume-title: Reasoning about rational agents
  year: 2000
  ident: 5955_CR38
  doi: 10.7551/mitpress/5804.001.0001
– ident: 5955_CR30
  doi: 10.1007/BFb0031845
– ident: 5955_CR7
  doi: 10.1007/978-3-540-25936-7_4
– volume: 42
  start-page: 213
  issue: 3
  year: 1990
  ident: 5955_CR13
  publication-title: Artificial Intelligence
  doi: 10.1016/0004-3702(90)90055-5
– ident: 5955_CR26
  doi: 10.1145/191246.191320
– volume: 8
  start-page: 293
  issue: 3
  year: 1998
  ident: 5955_CR32
  publication-title: Journal of Logic and Computation
  doi: 10.1093/logcom/8.3.293
– ident: 5955_CR10
  doi: 10.1023/B:AMAI.0000034527.45635.e5
– ident: 5955_CR8
– ident: 5955_CR34
– ident: 5955_CR9
  doi: 10.1007/0-387-26350-0_1
– volume-title: Dynamic logic
  year: 2000
  ident: 5955_CR19
  doi: 10.7551/mitpress/2516.001.0001
– start-page: 997
  volume-title: Handbook of theoretical computer science
  year: 1990
  ident: 5955_CR1
– ident: 5955_CR36
  doi: 10.1109/ASE.2000.873645
– ident: 5955_CR17
  doi: 10.1007/s10458-004-3140-4
– ident: 5955_CR2
– ident: 5955_CR14
  doi: 10.1145/337180.337234
– ident: 5955_CR23
– ident: 5955_CR15
  doi: 10.1007/BFb0026757
– ident: 5955_CR6
– volume-title: The distributed multi-agent reasoning system architecture and language specification
  year: 1993
  ident: 5955_CR25
– ident: 5955_CR28
  doi: 10.1016/S0004-3702(98)00068-X
– ident: 5955_CR22
  doi: 10.1109/32.588521
– ident: 5955_CR11
  doi: 10.1007/978-3-540-45069-6_10
– start-page: 95
  volume-title: Model checking software, proceedings of SPIN 2002 (LNCS Volume 2318)
  year: 2002
  ident: 5955_CR21
– ident: 5955_CR31
– volume: 19
  start-page: 46
  issue: 5
  year: 2004a
  ident: 5955_CR5
  publication-title: IEEE Intelligent Systems
  doi: 10.1109/MIS.2004.47
– ident: 5955_CR4
  doi: 10.1145/860575.860641
– start-page: 331
  volume-title: Multiagent systems—a modern approach to distributed artificial intelligence
  year: 1999
  ident: 5955_CR35
– ident: 5955_CR33
  doi: 10.1145/940071.940107
– ident: 5955_CR20
  doi: 10.1109/32.940728
– volume: 103
  start-page: 5
  year: 1998
  ident: 5955_CR27
  publication-title: Artificial Intelligence
  doi: 10.1016/S0004-3702(98)00068-X
SSID ssj0016261
Score 2.168418
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 239
Title Verifying Multi-agent Programs by Model Checking
Volume 12
WOSCitedRecordID wos000236095400006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 1573-7454
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0016261
  issn: 1387-2532
  databaseCode: RSV
  dateStart: 19980301
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB2kePBi_cT6xR48CQtJdjfZPUqxeCoFtfQW9isolChtLPjvzWSTtqAeeslpE8JkN292Z957AHdaN0BY0KL-2VGujKeKxaa-qMwkNvWFtY3ZRDYey9lMTTY6278r-Ehy40JS3PkKJQRF5nicBq7W83RdMagT87C5kqg8wJKugvnXE7YwaAtMRv2dXuMIDtuckTyEj3wMe748gX7nx0Da5XkK0bSeTg1viTS8WqqRN0UmoQVrScw3QeuzORm-eYtH5GfwOnp8GT7R1hGB2kTKimrDpBbKZr5OFLxXXAtmhHVOSSfj2MuCK62ltsKwmGsuDeJ_why69tXAzM6hV36U_gKIS9HNQLPEJygnqoxy3qBYXFQ4Z5QcQNTFKLetXDi6VszzjdAxRiTHxjiMSJ4N4H59y2fQyvh_8OUug6_gIBx9YO_XNfSqxZe_gX27qt6Xi9tmIvwA-E6oFg
linkProvider Springer Nature
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Verifying+Multi-agent+Programs+by+Model+Checking&rft.jtitle=Autonomous+agents+and+multi-agent+systems&rft.au=Bordini%2C+Rafael+H.&rft.au=Fisher%2C+Michael&rft.au=Visser%2C+Willem&rft.au=Wooldridge%2C+Michael&rft.date=2006-03-01&rft.issn=1387-2532&rft.eissn=1573-7454&rft.volume=12&rft.issue=2&rft.spage=239&rft.epage=256&rft_id=info:doi/10.1007%2Fs10458-006-5955-7&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10458_006_5955_7
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1387-2532&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1387-2532&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1387-2532&client=summon