ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles. - Ben Wooding; Vahid Vahidinasab; Sadegh Soudjani (CoRR, 2020)

Data-Driven Abstraction-Based Control Synthesis. - Milad Kazemi; Rupak Majumdar; Mahmoud Salamati; Sadegh Soudjani; Ben Wooding (CoRR, 2022)

Robust Simulation Functions with Disturbance Refinement. - Ben Wooding; Abolfazl Lavaei; Vahid Vahidinasab; Sadegh Soudjani (ECC, 2023)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach. - Ben Wooding; Abolfazl Lavaei; Sadegh Soudjani (CoRR, 2023)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification. - Oliver Schön; Shammakh Naseer; Ben Wooding; Sadegh Soudjani (ADHS, 2024)

IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees. - Ben Wooding; Abolfazl Lavaei (HSCC, 2024)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems. - Ben Wooding; Abolfazl Lavaei (QEST+FORMATS, 2024)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems. - Ben Wooding; Viacheslav Horbanov; Abolfazl Lavaei (CoRR, 2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials. - Ben Wooding; Abolfazl Lavaei (CoRR, 2024)

TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory. - Jamie Gardner; Ben Wooding; Amy Nejati; Abolfazl Lavaei (HSCC, 2025)

PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems. - Ben Wooding; Viacheslav Horbanov; Abolfazl Lavaei (ICCPS, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)