Verifying Epistemic Properties of Multi-agent Systems via Action-Based Temporal Logic
暂无分享,去创建一个
Mojca Ciglaric | Marina Bagić Babac | Marina Bagic Babac | Aleksandar Babac | M. Ciglarič | Aleksandar Babac
[1] Alessio Lomuscio,et al. A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems , 2004, LCMAS.
[2] Robert Meolic,et al. VERIFICATION OF CONCURRENT SYSTEMS USING ACTL , 2000 .
[3] Robert Meolic,et al. An Action Computation Tree Logic With Unless Operator , 2003 .
[4] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[5] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[6] Alessio Lomuscio,et al. Automatic Verification of Deontic Properties of Multi-agent Systems , 2004, DEON.
[7] Mark Ryan,et al. Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .
[8] Robert Meolic,et al. ACTLW - An action-based computation tree logic with unless operator , 2008, Inf. Sci..
[9] Alessio Lomuscio,et al. Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's , 2004, ECAI.
[10] Marijan Kunstic,et al. Verification of Intelligent Agents with ACTL for Epistemic Reasoning , 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).
[11] Charles Pecheur,et al. Symbolic Model Checking of Logics with Actions , 2007, MoChArt.