Alessandro Farinelli
@alex_sandrof
Followers
39
Following
79
Media
10
Statuses
63
Full Professor in Computer Science, University of Verona. Research interests: AI, Multi-Agent Systems, Reinforcement Learning, Decentralized Optimization.
Verona, Italy.
Joined January 2012
By the amazing team @TaioliF @morpheus1820 @AlbyCaste @lrnznat @alessiodelbue @alex_sandrof @MarcoCristani and me. Yet another fruitful collaboration among @FBK_research @IITalk and @UniVerona đđđ
Human, when guiding agentsđ¤ to navigate in an environment, may provide erroreous instructions. How will such behavior impact the navigation policyâ How can we detect and localize these instruction errorsâ Check our just-accepted IROS2024 paper: https://t.co/R0e2REI3Ut
0
3
9
Very well done! Congrats to everyone and particularly to @TaioliF for the great work!
The #INTELLIGOLabs team did it! We won the MultiON #EmbodiedAI challenge (where the robot has to navigate to multiple goals) at the CVPR 2024 EAI workshop ( https://t.co/GCU9Be9gYF). A huge work by @TaioliF⌠big thanks to the team (@YimingWang107 @alex_sandrof and @AlbyCaste)
0
0
1
Happy to share our recent #AIJ paper on Risk-aware Shielding for Monte-Carlo Planning. https://t.co/Y7GHfhGyfV
@AlbyCaste @ISLa_Lab_
0
0
2
Our paper âScalable Safe Policy Improvement via Monte Carlo Tree Searchâ has been accepted at the 40th Int. Conference on Machine Learning @ICML2023 (ICML 23) @icmlconf ! Check the preprint: https://t.co/ypJw6fsUIF See you in Honolulu! #ArtificialIntelligence #AcademicTwitter
0
1
1
Had a great time this week with my co-authors @lmarza_ , @alex_sandrof, @cjdamato ! Here is the poster session for our @aamas2023 work "Safe Deep Reinforcement Learning by Verifying Task-Level Properties"; check it out!
1
2
12
Want to replace cost functions in Safe Deep RL? Check out how to employ task-level knowledge to bias policies away from unsafe states at @aamas2023! Congrats to @lmarza_ @alex_sandrof @cjdamato for our work "Safe Deep Reinforcement Learning by Verifying Task-Level Properties"!
0
3
6
âThe #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networksâ paper has been accepted at @IJCAIconf 2023! Congrats Luca @lmarza_ and Davide @dcorsi_ đđ #IJCAI2023 #research #researchpaper
0
2
4
The paper âOnline Safety Properties Collection and Refinement for Deep Reinforcement Learning Mapless Navigationâ has been accepted at @ieee_ras_icra. Congrats Luca! #SafeDRL #phdlife
0
2
3
The paper âSafe Deep Reinforcement Learning by Verifying Task-Level Propertiesâ and âLearning Logic Specifications for Soft Policy Guidance in POMCPâ have been accepted at @aamas2023. Congrats, Luca, Daniele and Alberto! #research #ResearchPaper #safeDRL #POMDP #phdlife
0
3
4
Our paper âVerifying Learning-Based Robotic Navigation Systemsâ has been accepted at Proc. 29th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems @ETAPSconf (TACAS 23). Congrats Davide and Luca! #research #ResearchPaper #formalVerifcation
0
2
3
VenerdĂŹ 11 marzo dalle ore 14 alle 16 presso Space13 a Legnago, il seminario âCome ottenere un valore aggiunto a prodotti e servizi attraverso lâintelligenza artificialeâ
0
0
1
Our new paper "POMP++: Pomcp-based Active Visual Search in unknown indoor environments" has been accepted at #IROS2021 đ đ . https://t.co/e3cTzHG2cg Congratulations @FGiuliari93 @AlbyCaste @riccardo_berra Alessio Del Bue @alex_sandrof @MarcoCristani @franzsetti @YimingWang107
1
7
14
Say hi to Monitoring Vessel Feargal. He has sensors that detect a range of water quality determinands and a to a spectral analyser to assess pollutants. Developed in the EU Horizon 2020 @INTCatch program. And now helping assess the quality of our #chalkstreams
9
24
132
Marlin back in action! Monitoring water quality in Lake Garda within the SmartGardaLake project ( https://t.co/P7TQITCMei). Thanks to Lega Navale Italiana Garda for the great support ( https://t.co/cljBQv40bk)!
0
0
4
Great to see the U.K. team now back in action. Setting up the boat for serious monitoring activity.
Say hi to Monitoring Vessel Feargal. He has sensors that detect a range of water quality determinands and a to a spectral analyser to assess pollutants. Developed in the EU Horizon 2020 @INTCatch program. And now helping assess the quality of our #chalkstreams
0
4
13
Our new paper: 'POMP: Pomcp-based Online Motion Planning for active visual search in indoor environments' in collaboration with @UniVerona accepted @bmvc2020. Congrats to @FGiuliari93 and the whole team: @MarcoCristani @YimingWang107 @alex_sandrof @franzsetti @AlbyCaste @IITALK
0
11
17
Des de #Martorelles i fins a la desembocadura a #SantAdrià , s'han agafat mostres d'aigua a diferents punts del #Besòs mitjançant l'ús d'un #dron aquà tic. La tasca, duta a terme per tècnics del @consorcibesos i la @uvic_ucc, ens permet obtenir mÊs dades de l'estat real de l'aigua.
2
29
59
Associated to the Horizon 2020 Incatch Project, using the Platypus boat, we are monitoring the heavy metals (copper and lead) of the surface water in the Flix reservoir (Ebre River, Catalonia) @intcatch
@BETA_TechCenter @ideceinstitut @aigua_cat @migratoebre
@reservanaturalsebes
0
10
14