Specifying and verifying interaction protocols in a temporal action logic

被引：0
|
作者：
Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
J. Appl. Logic | 2007年 / 2卷 / 214-234期
关键词：
Multi agent systems;
D O I：
10.1016/j.jal.2005.12.011
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
    Serbinowski, Bernard
    Johnson, Taylor T.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 307 - 323
  • [32] A temporal dynamic logic for verifying hybrid system invariants
    Platzer, Andre
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2007, 4514 : 457 - 471
  • [33] TEMPORAL PREDICATE TRANSITION NETS - A NEW FORMALISM FOR SPECIFYING AND VERIFYING CONCURRENT SYSTEMS
    HE, XD
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1992, 45 (3-4) : 171 - 184
  • [34] Verifying Temporal Logic Properties in the Modular State Space
    Zech, Lukas
    Wolf, Karsten
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 333 - 354
  • [35] Specifying causality in action theories: a default logic approach
    Zhang, Y
    THEORETICAL COMPUTER SCIENCE, 1999, 220 (02) : 489 - 513
  • [36] Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic
    Bagic, Marina
    Babac, Aleksandar
    Ciglaric, Mojca
    2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2, 2008, : 470 - +
  • [37] Specifying and verifying web transactions
    Li, Jing
    Zhu, Huibiao
    He, Jifeng
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 149 - 168
  • [38] Specifying and verifying programs in Spec
    Rustan, K.
    Leino, M.
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 20 - 20
  • [39] Specifying and Verifying Persistent Libraries
    Stefanesco, Leo
    Raad, Azalea
    Vafeiadis, Viktor
    PROGRAMMING LANGUAGES AND SYSTEMS, PT II, ESOP 2024, 2024, 14577 : 185 - 211
  • [40] Specifying protocols for knowledge transfer and action restriction in multiagent systems
    Grando, Maria Adela
    Walton, Christopher David
    COOPERATIVE INFORMATION AGENTS X, PROCEEDINGS, 2006, 4149 : 431 - 445
12345