The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Browse the full TIME paper archive.