Ben Wooding

17 papers C 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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
2025 — conf
PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems.
ICCPS
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2025 C conf
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems.
ICTAC
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2025 — conf
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory.
HSCC
Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2025 J jnl
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory.
CoRR
Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2024 — conf
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
ADHS
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 J jnl
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification.
CoRR
Oliver Schön, Shammakh Naseer, Ben Wooding, Sadegh Soudjani
2024 — conf
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees.
HSCC
Ben Wooding, Abolfazl Lavaei
2024 — conf
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems.
QEST+FORMATS
Ben Wooding, Abolfazl Lavaei
2024 J jnl
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems.
CoRR
Ben Wooding, Abolfazl Lavaei
2024 J jnl
Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials.
CoRR
Ben Wooding, Abolfazl Lavaei
2024 J jnl
PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems.
CoRR
Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei
2023 J jnl
Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.
CoRR
Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani
2023 — conf
Robust Simulation Functions with Disturbance Refinement.
ECC
Ben Wooding, Abolfazl Lavaei, Vahid Vahidinasab, Sadegh Soudjani
2022 J jnl
Data-Driven Abstraction-Based Control Synthesis.
CoRR
Milad Kazemi, Rupak Majumdar, Mahmoud Salamati, Sadegh Soudjani, Ben Wooding
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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
2020 J jnl
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles.
CoRR
Ben Wooding, Vahid Vahidinasab, Sadegh Soudjani