Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Leonore Winterer, M.Sc.
Adresse Technische Fakultät
Georges Köhler Allee 51
79110 Freiburg
Deutschland
Büro Gebäude 051, Raum 01-030
Telefon +49 (0)761 203-8148
Fax +49 (0)761 203-8142
eMail winterel@informatik.uni-freiburg.de

Leonore Winterer

Jahre: 2017 | 2015

    2017

    Icon: top nach oben zur Jahresübersicht
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
      Motion Planning under Partial Observability using Game-Based Abstraction
      2017 Melbourne, VIC, Australia 56th IEEE Conf. on Decision and Control (CDC)

    2015

    Icon: top nach oben zur Jahresübersicht
    • Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
      Towards Verification of Artificial Neural Networks
      2015 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”