Sintetiziranje specifikacija za robote
Obećanje dano ljudskom rodu je da će uskoro doći vrijeme kad će roboti raditi naporne poslove, a mi ćemo biti zabavljeni igrama, umjetnošću, intelektualnim i tjelesnim užitcima.¹ Kako bi osigurali da se roboti ponašaju točno onako kako mi želimo, mnogi znanstvenici radili su na automatskoj sintezi robotskog koda iz (formalne) specifikacije.² Dakle, za danu specifikaciju…
read more