Thanks for the pointers, I should have done more research before writing this up. After a quick glance my initial impression is that there still isn’t a good solution (even an uncomputable one) to the problems such as the one I describe at the end, or the one AlexMennen mentions.
Thanks for the pointers, I should have done more research before writing this up. After a quick glance my initial impression is that there still isn’t a good solution (even an uncomputable one) to the problems such as the one I describe at the end, or the one AlexMennen mentions.