answersLogoWhite

0

A kripke structure is made up of 5 elements. States (S), a relation between states (R) that tells which two states are connected by an edge, Atomic propositions (AP), a function L that maps atomic propositions to states, and initial states.

User Avatar

Wiki User

14y ago

Still curious? Ask our experts.

Chat with our AI personalities

BeauBeau
You're doing better than you think!
Chat with Beau
BlakeBlake
As your older brother, I've been where you are—maybe not exactly, but close enough.
Chat with Blake
FranFran
I've made my fair share of mistakes, and if I can help you avoid a few, I'd sure like to try.
Chat with Fran

Add your answer:

Earn +20 pts
Q: What is the definition of a kripke structure?
Write your answer...
Submit
Still have questions?
magnify glass
imp