Alfredo Capozucca

1. Do AI assistants help students write formal specifications? A study with ChatGPT and the B-Method
   2025/01/20 by Alfredo Capozucca, Capozucca, Alfredo, Daniil Yampolskyi +4 · 4 citations
   Computer Science · #Topic Modeling #Intelligent Tutoring Systems and Adaptive Learning #Online Learning and Analytics
2. Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
   2024/05/20 by Alfredo Capozucca, Maximiliano Cristiá, Capozucca, Alfredo +5 · 2 citations
   Computer Science · #Natural Language Processing Techniques #Multi-Agent Systems and Negotiation