YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Induction rule: Intuition<br />
• H( ⌈ ⌉) H holds on point intervals<br />
• H( ⌈ ⌉ ∨ n<br />
i=1 ⌈Si ⌉)<br />
H holds on intervals with at most 0 state changes<br />
Tallinn, November 17- 21, Michael R. Hansen – p.13/29
Hooray! Your file is uploaded and ready to be published.
Saved successfully!
Ooh no, something went wrong!
Change language