| 2008 |
|---|
| 7 | EE | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Yan Chen:
Solving Sum and Product Riddle via BDD-Based Model Checking.
Web Intelligence/IAT Workshops 2008: 630-633 |
| 2007 |
|---|
| 6 | EE | Kaile Su,
Abdul Sattar,
Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J. 50(4): 403-420 (2007) |
| 2006 |
|---|
| 5 | EE | Kaile Su,
Xiangyu Luo,
Abdul Sattar,
Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention.
AAMAS 2006: 220-222 |
| 4 | EE | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking.
Australian Conference on Artificial Intelligence 2006: 69-78 |
| 3 | EE | Kaile Su,
Weiya Yue,
Abdul Sattar,
Mehmet A. Orgun,
Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM 2006: 366-378 |
| 2005 |
|---|
| 2 | | Kaile Su,
Abdul Sattar,
Kewen Wang,
Xiangyu Luo,
Guido Governatori,
Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
AAAI 2005: 190-195 |
| 1 | EE | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Qingliang Chen,
Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems.
AAMAS 2005: 1129-1130 |
