( en | de | ru )

 

Disambiguation of "Eder, Kerstin"

Author of the publication

copydeleteadd this publication to your clipboard
A fuzzy approach to qualification in design exploration for autonomous robots and systems.

, , , , and . FUZZ-IEEE, page 1-6. IEEE, (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.

Johannes Eder

Max Eder

Ferdinand Eder

Heinz Eder

Ulrich Eder

 

Other publications of authors with the same name

Coverage-Directed Test Generation Automated by Machine Learning - A Review., and . ACM Trans. Design Autom. Electr. Syst., 17 (1): 7:1-7:21 (2012)A Resource-Oriented Deductive Approach Towards Hierarchical Planning., , and . WLP, page 237-246. (1995)Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction., , , and . RO-MAN, page 493-500. IEEE, (2016)Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation., , and . Haifa Verification Conference, volume 6504 of Lecture Notes in Computer Science, page 112-128. Springer, (2010)An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification., , , , and . CoRR, (2019)Would you Trust a Vehicle Merging into Your Lane? Subjective Evaluation of Negotiating Behaviour in a Congested Merging Scenario., and . SII, page 1045-1051. IEEE, (2024)Verification and testing of mobile robot navigation algorithms: A case study in SPARK., and . IROS, page 1489-1494. IEEE, (2014)Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming., and . HLDVT, page 11-18. IEEE Computer Society, (2006)A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems., , and . MCSoC, page 125-132. IEEE Computer Society, (2016)Marimba: A Tool for Verifying Properties of Hidden Markov Models., , , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 201-206. Springer, (2015)