Max Planck Institute for Software Systems
Research facility
Location:
Saarbrücken,
Germany (DE)
ISNI: -
ROR: https://ror.org/02pe2kf23
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