Merlin Göttlinger
Adresse:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: merlin.goettlinger[at]fau.de
Telefon: 09131/85-64057
ORCiD: 0000-0002-2251-8519
keybase: mgttlinger
matrix: mgttlinger
Research
Working on the RANT DFG-Project from the RATIO SPP
Publications
- Bachelor thesis: Sadly my bachelor thesis has to be kept a secret due to non-disclosure agreements but the topic was “Scene Reconstruction by Means of a PTZ-Camera” and the patent below was a result from it
- Master thesis including sources and presentation: Göttlinger, M. (2018). Formalising Algorithmic Correspondence for Modal Languages
2021
The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) (University of Ljubljana, 25. January 2021 - 28. January 2021)
In: Christel Baier and Jean Goubault-Larrecq (ed.): Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany: 2021
DOI: 10.4230/LIPIcs.CSL.2021.26 , , :
2020
Reconstructing Arguments from Noisy Text
In: Datenbank-Spektrum 20 (2020), p. 123-129
ISSN: 1618-2162
DOI: 10.1007/s13222-020-00342-y
URL: https://link.springer.com/article/10.1007/s13222-020-00342-y , , , , :
2017
Automatic verification of application-tailored OSEK kernels
In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 2017
DOI: 10.23919/FMCAD.2017.8102260 , , , , , :
Activities
- Representation of Social Argumentation
(Speech / Talk)
1. April 2020, Event: The Wisdom and Madness of Crowds: Argumentation, Information Exchange and Social Interaction, ArgInfoexchange 2020, University of Amsterdam, URL: https://vimeo.com/448066227
Other