A student’s Experience at the VeTSS Summer School 2026
This was my third VeTSS Summer School, hosted this year at the University of Exeter. As always, it mixed theoretical, practical, and interactive lectures [...]
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 53 blog entries.
Call for Expressions of Interest: VeTSS Research Awards 2026
BACKGROUND The Research Institute in Verified Trustworthy Software Systems (VeTSS), hosted at Imperial College London and the University of Surrey, is a UK Academic [...]
From Theory to Practice: A Researcher’s Reflections on the VeTSS Annual Conference 2026
I attended this year’s VeTSS Annual Conference 2026, held at the Royal Academy of Engineering in London in May with a dual purpose, as [...]
Annual Report 2024/2025
VeTSS Annual Report, 2026
VeTSS Annual Conference 2026 Concluded
We concluded the VeTSS Annual Conference 2026 on 12th May – a one-day meeting packed with long and short talks, lively discussion, and a [...]
Sufficient Conditions for Robustness of RDMA Programs.
Guillaume Ambal, Ori Lahav, and Azalea Raad. European Symposium on Programming (ESOP), 2025.
Simplifying Imperfect Recall Games.
Hugo Gimbert, Soumyajit Paul, and B. Srivathsan. Proceeding of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025), 2025.
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives.
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, and Pian Yu. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025), 2025.
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
Yong Li, Soumyajit Paul, Sven Schewe, and Qiyi Tang. Proceedings of the 37th International Conference on Computer Aided Verification (CAV 2025), 2025.
Generalised Reachability Games Revisited.
Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, and Tansholpan Zhanabekova. Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF [...]
by