Erlebach, Thomas, Spooner, Jakob T., "Parameterized temporal exploration problems", Journal of Computer and System Sciences, 2024