Proof by Timeline

Making slides.  Decidability result: Edit: Ffffuuuuu…! This doesn’t work.  Have to change precedence to response (I think that works at least…) Edit 2: This works.  Wrong version below. Edit 2: Wrong stuff below; it is actually possible to make this bounded. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]

Read More… from Proof by Timeline

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 the timed automaton shown; it allows going Backstage, then Getting Drunk, letting […]

Read More… from Time is Not a Four-letter Word