Telling Non-linear Stories with Interval Temporal Logic.

Matthew Thompson, Steve Battle, Julian A. Padget

Browse the full ICIDS paper archive.