CSL formulas and path-based reward variables are two ways of specifying performability measures which depend on a sequence of states in a CTMC. We present the new logic pathCSL which combines ideas and advantages of both approaches.
|Publisher||University of Illinois at Urbana-Champaign|
|Number of pages||4|
|Place of Publication||Urbana-Champaign|
|Publication status||Published - 6 Sep 2003|