Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


278 Treffer


× Publikationen
× 2019
× Johannes Gutenberg-Universität Mainz
× Universität Koblenz
× Hochschule Mainz
× Katholische Hochschule Mainz
× Hochschule Kaiserslautern





  • Peuter, Dennis; Sofronie-Stokkermans, Viorica
  • On Inductive Verification and Synthesis
  • Christoph Benzmüller;Xavier Parent;Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8






  • Memmesheimer, Raphael; Kramer, Ivanna; Seib, Viktor et al.
  • Simitate: A Hybrid Imitation Learning Benchmark
  • Dong Sun;Fumihito Arai (Hrsg). 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019. New York, NY: IEEE Computer Society 2019 S. 5243 - 5249