Counterfactuals Modulo Temporal Logics.

Bernd Finkbeiner, Julian Siber

Browse the full LPAR paper archive.