Abstract : This paper addresses the problem of building an interruptible real-time system using contract algorithms. Contract algorithms offer a tradeoff between computation time and quality of results, but their run-time must be determined when they are activated.
Shlomo Zilberstein, François Charpillet, Philippe Chassaing. Optimal Sequencing of Contract Algorithms. Bar-Ilan Symposium on the Foundation of Artificial Intelligence, 1999, Ramat Gan, Israel. ⟨inria-00108057⟩