STIT is dangerously undecidable.

Franois Schwarzentruber, Caroline Semmling

Browse the full ECAI paper archive.