@conference{Michiel Helvensteijn2016,
author = "Michiel Helvensteijn,Farhad Arbab",
abstract = "Time-travel is a popular topic not only in science fiction, but in physics as well, especially when it concerns the notion of “changing the past”. It turns out that if time-travel exists, it will follow certain logical rules. In this paper we apply the tools of discrete mathematics to two such sets of rules from theoretical physics: the Novikov Self Consistency Principle and the Many Worlds Interpretation of quantum mechanics. Using temporal logic, we can encode the dynamics of a time-travel story or game, and model-check them for adherence to the rules. We also present the first ever game-engine following these rules, allowing the development of technically accurate time-travel games.",
booktitle = "Theory and Practice of Formal Methods",
doi = "10.1007/978-3-319-30734-3_18",
editor = "Erika {\'A}brah{\'a}m, Marcello Bonsangue, Einar Broch Johnsen",
isbn = "978-3-319-30733-6 978-3-319-3073",
number = "9660",
pages = "261-276",
publisher = "Springer International Publishing",
series = "Lecture Notes in Computer Science",
title = "{T}oward a {F}ormal {F}oundation for {T}ime {T}ravel in {S}tories and {G}ames",
url = "http://link.springer.com/chapter/10.1007/978-3-319-30734-3_18",
year = "2016",
}