Search
Now showing items 1-1 of 1
Synthesis of Temporal Formulae via Genetic Search Algorithm
(2024-12-19)
I sistemi robotici autonomi svolgono varie attività in ambienti complessi e non controllati senza supervisione umana. Nonostante i significativi progressi nello sviluppo di sistemi reattivi e affidabili, questi robot possono ...