Contact

All Stories

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

    Article • May 2025, ACM (Association for Computing Machinery)

    Dr Ben Wooding

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

    Article • May 2025, ACM (Association for Computing Machinery)

    Dr Ben Wooding

  3. IMPaCT: A software tool using IMDPs for control

    Article • May 2024, ACM (Association for Computing Machinery)

    Dr Ben Wooding