GREAT: A Model of Progressive Reasoning for Real-Time Systems

Abdel-Illah Mouaddib, François Charpillet, Jean-Paul Haton. GREAT: A Model of Progressive Reasoning for Real-Time Systems. In ICTAI. pages 521-527, 1994.

Abstract

Abstract is missing.