I'm Hayden, and this is my website! Here you'll find information about me and the things I get up to, which are usually (but not always) related to IT and software development. All opinions are my own.
H. D. Walker, S. L Ricker, and H. Marchand. "Detecting and Resolving Feature Interactions in Cyber-Physical Systems Using Formal Methods," in 19th IEEE International Conference on Control and Automation, Tallinn, Estonia. IEEE, 2025, pp. 274-279. IEEE / PDF
