Toggle Main Menu Toggle Search

Open Access padlockePrints

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