CAN-verify: A Verification Tool for BDI Agents
INTEGRATED FORMAL METHODS, IFM 2023（2024）
Key words
Runtime Verification,Safety Verification,Model Checking,Agent-Based Modeling,Symbolic Model Checker
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined