Abstract
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.
Original language | English |
---|---|
Publisher | University of Illinois at Urbana-Champaign |
Number of pages | 4 |
Place of Publication | Urbana-Champaign |
Publication status | Published - 6 Sept 2003 |
Externally published | Yes |
Keywords
- METIS-216859