Duncan Starkenburg

Orcid: 0009-0003-8150-3135

According to our database¹, Duncan Starkenburg authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Maximal Load Shedding Verification for Neural Network Models of AC Line Switching.

[DOI]

CoRR, October, 2025

2024

Achieving the Tightest Relaxation of Sigmoids for Formal Verification.

[DOI]

CoRR, 2024