Unverified50% confidenceFactExact time
Model checking verifies whether properties hold by exhaustively enumerating a system's state space, with representative tools including SPIN and NuSMV.
1
Sources
50%
Confidence
Long-term
Relevance
9/15/2026
First Seen
Sources
Related Entities
Related Claims
Unverified碰撞检测通常通过二维布尔矩阵标记每个格子的占用状态来判断不规则物品能否放入指定位置66% similarUnverifiedSystem identification calibrates simulation models by measuring real hardware parameters.66% similarUnverified背包网格系统的碰撞检测通常通过二维布尔矩阵标记每个格子的占用状态来实现64% similarUnverifiedItaSoRL's Oracle external observer detector is based on System Identification methods, inferring underlying physical parameters by observing the statistical properties of state transitions.63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/922723API
curl https://kongchang.com/api/v1/knowledge/claims/922723MCP
get_claim(id=922723)