Papers of the Months: January and February 2026

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Facing Uncertainty in {AI:} From Formal Verification To Synthesis, by Joost-Pieter Katoen. Accepted for ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025
• The Optimal Strategy to Meet the Deadline: Ask Christel!, by Joost-Pieter Katoen. Accepted in Principles of Formal Quantitative Analysis - Essays Dedicated to ChristelmBaier on the Occasion of Her 60th Birthday
• Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking, by Arnd Hartmanns, Tim Quatmann, Mark van Wijk. Accepted for The 27th International Symposium on Formal Methods (FM 2026)
• How Hard Can It Be? Quantifying MITRE Attack Campaigns with Attack Trees and cATM Logic, by Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga, Fabio Massacci, and Carlos E. Budde. Accepted in ACM Trans. Softw. Eng. Methodol. (January 2026).