Engineering Approaches and Methods to Verify Software in Autonomous Systems.

Autor: Cicala, G., Khalili, A., Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A.
Zdroj: Neuroenhancement: How Mental Training & Meditation can Promote Epistemic Virtue; 2016, p1683-1700, 18p
Databáze: Complementary Index