2020

• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. p. 618-624, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On a generalized flat input definition and physical realizabilityFritzsche, K. & Röbenack, K., 2020, In:  IFAC-PapersOnLine. 53, 2, p. 5994-5999Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• On A Notion of RelevanceHaifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (eds.). Cham: Springer International Publishing AG, p. 177-194, 18 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• One-shot roughness measurements based on dispersion-encoded low coherence interferometryTaudt, C., Baselt, T., Nelsen, B., Koch, E. & Hartmann, P., 2020, Optics and Photonics for Advanced Dimensional Metrology. de Groot, P. J., Leach, R. K. & Picart, P. (eds.). SPIE - The international society for optics and photonics, Bellingham, 1135212Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On global and local observability of nonlinear polynomial systems: A decidable criterionGerbet, D. & Röbenack, K., 2020, In: At-Automatisierungstechnik. 68, 6, p. 395-409Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On real stable pole placement for structured systems using Sturm and Sturm-Habicht sequencesRöbenack, K. & Voßwinkel, R., 2020, IFAC-PapersOnLine. p. 4546-4552Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On Skolem-Hardness and Saturation Points in Markov Decision ProcessesPiribauer, J. & Baier, C., 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 138:1-138:17Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the Complexity of Finding Good Proofs for Description Logic EntailmentsAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• On the influence of gear backlash in speed controlled slewing drivesSpiegelhauer, M. & Schlecht, B., 2020, In:  World of mining, surface & underground : internationale Fachzeitschrift für den Bergbau. 2020, 4, p. 200-204, 5 p.Research output: Contribution to journal > Research article