List of publications
| Dokumenttyp | Erscheinungsjahr | Titel | Autoren | Herausgeber |
|---|---|---|---|---|
| article | 2020 | Efficient monitoring of hyperproperties using prefix trees | Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander | |
| doctoralThesis | 2019 | Symbolic reactive synthesis | Tentrup, Leander |
Welcome
| ORCID: |  https://orcid.org/0000-0002-4117-9743 |
| Name: | Tentrup, Leander |
| Faculty: | HW - Fakultät für Empirische Humanwissenschaften und Wirtschaftswissenschaft |
| Department: | HW - Sportwissenschaft |
| Professorship: | HW - Prof. Dr. Sabine Schäfer |
| Display style: |