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

Abdel-Illah Mouaddib, Franois Charpillet, Jean Paul Haton

Browse the full ICTAI paper archive.