![](https://www.pdfsearch.io/img/b5d0c35484784b2aee31b35a8f5571f1.jpg) Date: 2011-10-30 22:46:01
| | LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite)Add to Reading ListSource URL: hagi.is.s.u-tokyo.ac.jpDownload Document from Source Website File Size: 240,83 KBShare Document on Facebook
|