Simon Burton

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2025

Formal Safety and Robustness Verification of Nonlinear Vehicle Systems Under Uncertainty Using Sum-of-Squares Optimization.

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2025

2024

CSS code surgery as a universal construction.

[DOI]

Quantum, 2024