Titus Buckworth

According to our database, Titus Buckworth authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Adapting Specifications for Reactive Controllers.

Titus Buckworth, Dalal Alrajeh, Jeff Kramer, Sebastián Uchitel

Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023