felixridoux / internship-report-logica Goto Github PK

I have spent two months as an intern in IRISA Team LogicA. The initial topic of this internship was the exploration of answer set programming(ASP) for the benefit of Team LogicA’s research. This led us to make a presentation of ASP to the team. Then we have studied the semantics of attack trees and implemented it by constructing automatons which recognize the semantics. This report presents the details of this work.