ISLa Lab @ Univr @ISLa_Lab_

We are keen to share our new publication on neurosymbolic planning and learning under uncertainty! Congratulations to @dan11694 Alberto Castellini and Alessandro Farinelli! #ArtificialIntelligence #AI #opensource #AcademicTwitter #OpenAccess #researchpapers #phdlife

J. AI Research-JAIR @JAIR_Editor

2 years ago

We are keen to share our new publication on neurosymbolic planning and learning under uncertainty! Congratulations to @dan11694 Alberto Castellini and Alessandro Farinelli! #ArtificialIntelligence #AI #opensource #AcademicTwitter #OpenAccess #researchpapers #phdlife

0 0 4 262 1

Our paper 'A. Castellini, F. Masillo, D. Azzalini, F. Amigoni, and A. Farinelli, Adversarial Data Augmentation for HMM-based Anomaly Detection’ was accepted in IEEE TRANS. ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE (TPAMI)! See shorturl.at/ptxVY #ArtificialIntelligence

Our paper 'G. Mazzi, A. Castellini, A. Farinelli, Risk-aware Shielding of Partially Observable Monte Carlo Planning Policies’ has been accepted by the Artificial Intelligence journal (Elsevier)! See the pre-print here: shorturl.at/fijnM #ArtificialIntelligence

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: tinyurl.com/2hcmuhsn See you in Honolulu! #ArtificialIntelligence #AcademicTwitter

#AcademicTwitter Excited to announce that our paper "Learning Logic Specifications for Soft Policy Guidance in POMCP" is candidate for best paper award at @aamas2023 conference! Curious? Check preprint: tinyurl.com/aamaspre See you in London next week! #ArtificialIntelligence

‘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

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

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

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

Intelligent Systems Lab (ISLa) has also landed on Twitter!🥳