Max Planck Institute for Software Systems

Research facility


Location: Saarbrücken, Germany (DE) DE

ISNI: -

ROR: https://ror.org/02pe2kf23

Show on Map:

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Matching code and law: achieving algorithmic fairness with optimal transport (2020) Zehlike M, Hacker P, Wiedemann E Journal article A Reactive Synthesis Approach to Supervisory Control of Terminating Processes (2020) Schmuck AK, Moor T, Schmidt KW Conference contribution An Efficient Algorithm for the Computation of the Controllability Prefix of (*)-Languages (2020) Moor T, Schmidt KW, Schmuck AK Conference contribution On the relation between reactive synthesis and supervisory control of non-terminating processes (2019) Schmuck AK, Moor T, Majumdar R Journal article The high-level benefits of low-level sandboxing (2019) Sammler M, Garg D, Dreyer DR, Litak TM Journal article