Tobias John

Stipendiat - Programming
Image of Tobias John
Norwegian version of this page
Visiting address Ole-Johan Dahls hus Gaustadalléen 23B
Postal address Postboks 1080 0316 Oslo

I am a PhD student in the EU project REMARO. I am working on using logic to evaluate (and increase) the robustness of controllers that work with evolving knowledge bases.


  • John, Tobias; Jantsch, Simon; Baier, Christel & Klüppelholz, Sascha (2021). Determinization and Limit-Determinization of Emerson-Lei Automata. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12971, p. 15–31. doi: 10.1007/978-3-030-88885-5_2.

View all works in Cristin

Published Sep. 24, 2021 12:49 PM - Last modified Nov. 15, 2021 3:02 PM