Time is Not a Four-letter Word
This post has 82 words. Reading it will take less than one minute.
GD Star Rating
loading...
loading...
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 12 hours pass, and then going to the M&G. That should not be possible, and the state s3 should be split up.
Subscribe
If you enjoyed this article, subscribe to receive more just like it.
