Bernd Finkbeiner (Saarland University)

Identifiers

• name variant Bernd Finkbeiner (Saarland University) 0.60 · backfill

Papers (3)

1. Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology cs.LO · 2019 · author #1
2. Synthesis in Distributed Environments cs.LO · 2017 · author #1
3. Detecting Unrealizability of Distributed Fault-tolerant Systems cs.LO · 2015 · author #1

Mentions

• 1505.06862 #1 · backfill · confidence 0.70 Bernd Finkbeiner (Saarland University)

Frequent Coauthors

• Leander Tentrup (Saarland University) 1 shared papers
• Paul G\"olz (Saarland University) 1 shared papers
• Samantha Kleinberg (Stevens Institute of Technology) 1 shared papers