Towards Robust Autonomous Robots Using Statistical Model Checking
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir & Matteo Palmas @ ERF 2024
Michaela Klauck, Ralph Lange, Christian Henkel, Selma Kchir & Matteo Palmas @ ERF 2024
Charlie Street et al. @ AAAI Fall Symposium 2024
Christian Henkel, Sebastian Castro, Davide Faconti, David Oberacker, David Conner, Matthias Mayr, Ginny Chen-Joergensen, Michaela Klauck @ ERF 2024
Christian Henkel, Marc Toussaint, Wolfgang Hรถnig @ IROS 2024
๐ pdf ๐ doi: 10.1109/IROS58592.2024.10801293
Agha Ali Haider Qizilbash, Christian Henkel, Sanaz Mostaghim @ UR 2020
Christian Henkel, Marc Toussaint @ SAC 2020
๐ pdf ๐ doi: 10.1145/3341105.3373916
Christian Henkel, Jannik Abbenseth, Marc Toussaint @ IROS 2019
๐ pdf ๐ doi: 10.1109/IROS40897.2019.8968096
David Kremer, Sibylle Hermann, Matthias Schneider, Christian Henkel @ Zeitschrift fรผr Arbeitswissenschaft
Christian Henkel, Sebastian Rentsch, Miriam Funk und David Kremer in Arbeit der Zukunft: Digital, multilokal, dynamisch
Brandon K. Sai, Matthias Schneider, Christian Henkel, Felipe Garcia Lopez und Fady Aziz in wt Werkstattstechnik online