A Flexible Framework for Verifiable Agent Programming

Berndt Muller, R. Bordoni, M. Fisher, L. Dennis

Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion CynhadleddCyfraniad i gynhadleddadolygiad gan gymheiriaid

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'A Flexible Framework for Verifiable Agent Programming'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Gwyddoniaeth Deunyddiau a Pheirianneg