Author of the publication

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.

, , , and . Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 12-27. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution., , , and . Remote. Sens., 15 (16): 3993 (August 2023)Formal verification and validation of embedded systems: the UML-based MADES approach., , , , , , , and . Softw. Syst. Model., 14 (1): 343-363 (2015)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications., , , and . Theor. Comput. Sci., (2016)THOR: A Hybrid Recommender System for the Personalized Travel Experience., , , , , and . Big Data Cogn. Comput., 6 (4): 131 (2022)HapPro: A Wearable Haptic Device for Proprioceptive Feedback., , , , and . IEEE Trans. Biomed. Eng., 66 (1): 138-149 (2019)Experimental determination of momentum-resolved electron-phonon coupling, , , , , , , , , and 2 other author(s). Phys. Rev. Lett., 123 (2): 027001 (Jul 8, 2019)Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy., , , , , , , , , and 1 other author(s). Sensors, 21 (13): 4400 (2021)On How Bit-Vector Logic Can Help Verify LTL-Based Specifications., , and . IEEE Trans. Software Eng., 48 (4): 1154-1168 (2022)Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome., , , , , , , , , and 4 other author(s). PLoS Comput. Biol., (2015)A Flexible Approach for Checking Timed Automata on Continuous Time Semantics., , , and . CoRR, (2018)