Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Ben Wooding

Newcastle AuthorsTitleYearFull text
Dr Anna Laino
Dr Ben Wooding
Professor Russell Davenport
A logic-based resilience metric for water resource recovery facilities2025
Jamie Gardner
Dr Ben Wooding
Dr Amy Nejati
Dr Abolfazl Lavaei
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory2025
Dr Ben Wooding
Dr Abolfazl Lavaei
IMPaCT: A Parallelized Software Tool for IMDP Construction and Controller Synthesis with Convergence Guarantees2024
Dr Ben Wooding
Dr Abolfazl Lavaei
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale STochastic Systems2024