Ricerca

Pubblicazioni IRIS

• TruthSentry: A Scalable Framework for Fake News Detection via Advanced NLP and Ensemble Learning
  Anno: 2026
• Efficient Certified Robustness Assessment for Transformer Models via Verifier-Aware Perturbation-Position Scheduling
  Anno: 2026
• StabilEdge, Formal Verification of Edge AI Applications
  Anno: 2026
• Sim-to-Real Validation of a CARLA-Based Digital Twin for a 1:10 Scale Autonomous Vehicle
  Anno: 2026
• Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking
  Anno: 2025