位置：成果数据库 > 会议 > 会议详情页
Model Checking Temporal Logics
  • 所属机构名称：中山大学
  • 成果类型：会议
  • 相关项目：系统规范表示与验证的认识逻辑途径
作者： Lijun Wu, Kaile Su, Qingliang
同会议论文项目
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
同项目会议论文
The Interpreted System Model of Knowledge, Belief, Desire and Intention
BDDRPA*: An Efficient BDD-based Incremental Heuristic Search Algorithm For Replanning
Verification of Multi-agent Systems via Bounded Model Checking
Reasoning About Knowledge by SAT Solving
Observation-Based Logic of Knowledge, Belief, Desire and Intention
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Computationally grounded model of BDI-agents
A theory of forgetting in logic programming
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Primitive Recursive Real Numbe
Observation-based model for BD
The Algorithm Research for On
Observation-based model for BDI-agents
A Computationally Grounded Logic of Knowledge, Belief and Certainty
Bounded model Checking knowledge and branching time in synchronous multi-agent systems
Observation-Based Logic of Kno
A theory of forgetting in logi
Reasoning About Knowledge by S
A Computationally Grounded Log
The Interpreted System Model o
Model Checking Temporal Logics
Improving Encoding Efficiency for Bounded Model Checking
Observation-Based Logic of Kno
A theory of forgetting in logi
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
Reasoning About Knowledge by S
Observation-based model for BD
A Modal Logic for Beliefs and Pro Attitudes
A Computationally Grounded Log
The Interpreted System Model o
An Extended Interpreted System Model for Epistemic Logics