In this talk I will discuss black-box techniques for generating interruptible algorithms by means of schedules of contract-algorithm executions. This is a fundamental problem in artificial intelligence, with surprising connections to other well-known problems, such as parallel searching in concurrent rays.
Joint work with Alex Lopez-Ortiz and Angele Hamel.