Ben Wooding

According to our database, Ben Wooding authored at least 13 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker

CoRR, June, 2025

PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems.

Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory.

Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials.

Ben Wooding, Abolfazl Lavaei

CoRR, 2024

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.

Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei

CoRR, 2024

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems.

Ben Wooding, Abolfazl Lavaei

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees.

Ben Wooding, Abolfazl Lavaei

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.

Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani

Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, 2024

2023

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.

Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani

CoRR, 2023

Robust Simulation Functions with Disturbance Refinement.

Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani

Proceedings of the European Control Conference, 2023

2022

Data-Driven Abstraction-Based Control Synthesis.

Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding

CoRR, 2022

2020

Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles.

Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani

CoRR, 2020

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, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020