Composing Real-Time Systems.

Stuart J. Russell, Shlomo Zilberstein

Browse the full IJCAI paper archive.