[…]
Plan to Fail
Tag: Planning
How I Do E-mail
Let me guide you thru my no-method super-simple yet very effective approach to handle mails. […]
Time is Not a Four-letter Word
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in […]