A Set-Theoretic Model for Real-Time Specification and Reasoning.

Colin J. Fidge, Ian J. Hayes, Andrew P. Martin, Axel Wabenhorst

Browse the full MPC paper archive.