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 the conference, which will be held in Rome, Italy, from 20 to 22 September 2017.

You need to be a member of CITADEL to add comments!


Email me when people reply –

Project Partners














The CITADEL project receives funding from the European Union's Horizon 2020 Research and Innovation Programme under grant agreement No. 700665.
The contents of this website do not necessarily reflect the position of the European Commission and the European Commission is not responsible for any use that may be made of the information it contains.