Stefano Tonetta posted a discussion
The paper "Linear-Time Temporal Logic with Event-Freezing Functions" has been published in the proceedings of the Eighth International Symposium on Games, Automata, Logics, and Formal Verification (GANDALF). The paper will be presented this week at…
Sep 19
Stefano Tonetta posted a discussion
On December 8 2016, the CITADEL partner FBK will participate in the workshop "Model-Based System and Software Engineering - Future directions", organized by ESA-ESTEC, and will give a pitch presentation on CITADEL to discuss the project objectives.h…
Dec 6, 2016
Stefano Tonetta is now a member of CITADEL
Sep 7, 2016