DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
-
-
-
-
-
-
-
Linear temporal logics on finite traces are used to specify temporal properties over finite executions.In (reactive) synthesis, we automatically construct a strategy (a program) that satisfies the specification for all possible behaviors of the environment. However, sometimes such a winning...
-
L'attività di ricerca concerne lo sviluppo di algoritmi distribuiti per la programmable matter e per gli agenti mobili per la risoluzione di problemi di coordinamento (quali pattern formation, coating, leader election, black hole detection e simili).
-
I due borsisti dovranno studiare ed analizzare lo stato delle ricerca per applicazioni di Artificial Intelligence (AI) e Machine Learning, inclusi gli LLM - Large Language Models, agli smart environments & communities. In particolare dovranno essere investigati e prototipate applicazioni di...
-
Sviluppo e validazione di algoritmi per la navigazione di robot mobili in ambienti con numerosi agenti in movimento (crowd navigation). Implementazione su piattaforma wheeled/legged in simulazione ed esperimenti.