Simone Tini (University of Insubria) will visit our group from February 26th to March 1st. He will deliver a guest talk at the FSA colloquium on February 27th, entitled “Measuring Robustness in Cyber-Physical Systems under Sensor Attacks”.
We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the vacancy webpage.
The following paper has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming: Back to the Format: A Survey on SOS for Probabilistic Processes, by Valentina Castiglioni, Ruggero Lanotte (University of Insubria, Italy), and Simone Tini (University of Insubria, Italy).