共 50 条
- [45] Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 91 - 97
- [47] Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications [J]. Applied Intelligence, 2016, 45 : 747 - 776