Kripke structure (model checking)
Transition system
📊 Rating
1 news mentions · 👍 0 likes · 👎 0 dislikes
📌 Topics
- Artificial Intelligence (1)
- Robotics (1)
- Computer Science (1)
🏷️ Keywords
Epistemic Planning (1) · Graph Neural Networks (1) · Kripke structures (1) · Multi-agent systems (1) · Autonomous planning (1) · GNN heuristics (1) · arXiv (1)
📖 Key Information
A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system.
It consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state. Temporal logics are traditionally interpreted in terms of Kripke structures.
📰 Related News (1)
-
🇺🇸 Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics
arXiv:2508.12840v4 Announce Type: replace Abstract: Multi-agent Epistemic Planning (MEP) is an autonomous planning framework for reasoning about both...
🔗 Entity Intersection Graph
People and organizations frequently mentioned alongside Kripke structure (model checking):
- 🌐 Graph neural network (1 shared articles)