Great demonstration of the intcatch autonomous drone at the SEA #DRONE TECH SUMMIT. First deployment of the Marlin system in the sea!

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 Tech Center IDECE ACA Life Migratoebre @reservanaturalsebes

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 Consorci Besòs Tordera i la UVic-UCC, ens permet obtenir més dades de l'estat real de l'aigua.

Our new paper: 'POMP: Pomcp-based Online Motion Planning for active visual search in indoor environments' in collaboration with Università di Verona accepted @bmvc2020. Congrats to Francesco Giuliari and the whole team: Marco Cristani Yiming Wang Alessandro Farinelli Francesco Setti Alberto Castellini IIT

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

Great to see the U.K. team now back in action. Setting up the boat for serious monitoring activity.

Marlin back in action! Monitoring water quality in Lake Garda within the SmartGardaLake project (smartgardalake.it/progetto/). Thanks to Lega Navale Italiana Garda for the great support (lnigarda.it/index.php/2020…)!

Our new paper "POMP++: Pomcp-based Active Visual Search in unknown indoor environments" has been accepted at #IROS2021 🎉 🎉 . arxiv.org/abs/2107.00914 Congratulations Francesco Giuliari Alberto Castellini Riccardo Berra Alessio Del Bue Alessandro Farinelli Marco Cristani Francesco Setti Yiming Wang

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”

per maggiori info: profs.scienze.univr.it/~castellini/lm…

The paper ‘Online Safety Properties Collection and Refinement for Deep Reinforcement Learning Mapless Navigation’ has been accepted at IEEE ICRA. Congrats Luca! #SafeDRL #phdlife

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

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 ETAPS Conferences (now on other platforms) (TACAS 23). Congrats Davide and Luca! #research #ResearchPaper #formalVerifcation

‘The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks’ paper has been accepted at IJCAIconf 2023! Congrats Luca Luca Marzari and Davide Davide Corsi 👏👏 #IJCAI2023 #research #researchpaper

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 Luca Marzari Alessandro Farinelli Chris Amato for our work "Safe Deep Reinforcement Learning by Verifying Task-Level Properties"!

Had a great time this week with my co-authors Luca Marzari , Alessandro Farinelli, Chris Amato ! Here is the poster session for our @aamas2023 work "Safe Deep Reinforcement Learning by Verifying Task-Level Properties"; check it out!

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) ICML Conference ! Check the preprint: tinyurl.com/2hcmuhsn See you in Honolulu! #ArtificialIntelligence #AcademicTwitter

Happy to share our recent #AIJ paper on Risk-aware Shielding for Monte-Carlo Planning. authors.elsevier.com/sd/article/S00… Alberto Castellini ISLa Lab @ Univr

Very well done! Congrats to everyone and particularly to Francesco Taioli for the great work!

By the amazing team Francesco Taioli Stefano Rosa Alberto Castellini Lorenzo Natale Alessio Del Bue Alessandro Farinelli Marco Cristani and me. Yet another fruitful collaboration among Fondazione Bruno Kessler - FBK IIT and Università di Verona 💐💐💐