Kripke structure (Q1077740)
Jump to navigation
Jump to search
semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kripke structure |
semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state |
Statements
Identifiers
Sitelinks
Wikipedia(10 entries)
- elwiki Δομή Κρίπκε
- enwiki Kripke structure (model checking)
- eswiki Estructura de Kripke
- frwiki Structure de Kripke
- itwiki Modelli di Kripke
- kowiki 크립키 구조
- plwiki Model Kripkego
- ruwiki Модель Крипке
- skwiki Kripkeho štruktúra
- zhwiki 克里普克结构