Model checking expected time and expected reward formulae with random time bounds

✍ Scribed by M. Kwiatkowska; G. Norman; A. Pacheco

• Publisher: Elsevier Science
• Year: 2006
• Tongue: English
• Weight: 738 KB
• Volume: 51
• Category: Article
• ISSN: 0898-1221
• DOI: 10.1016/j.camwa.2005.11.016