I attended FLOC 2018 at Oxford, UK and presented our work Towards ‘Verifying’ a Water Treatment System at FM. [slide] This work presented a case study to formally modeling and verifying the SWaT system at SUTD using probabilistic learning.