5 ms·
Recently been reading up on model checking, and Kripke structures are mentioned often. They are somewhat similar to Labeled Transition Systems, but then with pr
by f-jin 4y ago
Recently been reading up on model checking, and Kripke structures are mentioned often. They are somewhat similar to Labeled Transition Systems, but then with propositions on the nodes instead of labels on the edges. Turns out they are named after this person, fascinating.
- the-smug-one 4y agoThey're named after Kripke for inventing them when he was in highschool. The kind of stuff that makes you feel woefully intellectually inadequate :-).