Papers of the Month: July and August

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

• Verifying a Radio Telescope Pipeline using HaliVer: Solving Nonlinear and Quantifier Challenges, Lars B. van den Haak, Anton Wijs, Marieke Huisman and Mark van den Brand, at FMICS 2024
• No risk, no fun: a tutorial on risk management, Marielle Stoelinga, at Formal Methods '24
• Multi-Agent Reinforcement Learning for Alternating-Time Logic, Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak, at ECAI-2024