( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Moral Autonomous Systems.

, , , , , , , , и . CoRR, (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.

John A Dennis

Louise Guttfeld

Louise Frank

Louise Köblitz

Louise Duchesneau

 

Другие публикации лиц с тем же именем

Reconfigurable Autonomy., , , , , , и . Künstliche Intell., 28 (3): 199-207 (2014)Formal verification of ethical choices in autonomous systems., , , и . Robotics Auton. Syst., (2016)Plan Indexing for State-Based Plans.. DALT, том 7169 из Lecture Notes in Computer Science, стр. 3-15. Springer, (2011)System Description: Embedding Verification into Microsoft Excel., и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 497-501. Springer, (2000)Predicting the Metabolic Energy Costs of Bipedalism using Evolutionary robotics, , и . Journal of Experimental Biology, (2003)Advising Autonomous Cars about the Rules of the Road., , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 62-76. (2022)Actions with Durations and Failures in BDI Languages., и . ECAI, том 263 из Frontiers in Artificial Intelligence and Applications, стр. 995-996. IOS Press, (2014)Verifying Autonomous Systems.. IFM, том 13274 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2022)Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages., , , , , , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 471-490. Springer, (2019)The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems., , , , и . EMAS@AAMAS, том 12058 из Lecture Notes in Computer Science, стр. 152-172. Springer, (2019)