Robust PCTL model checking

A D'Innocenzo, A Abate, J.P. Katoen

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

17 Citations (Scopus)
Original languageEnglish
Title of host publicationHybrid Systems: Computation and Control 2012
EditorsT Dang, I Mitchell
Place of PublicationBeijing, China
PublisherHSCC 2012
Pages275-285
Number of pages11
Publication statusPublished - 2012
EventHybrid Systems: Computation and Control 2012, Beijing, China - Beijing, China
Duration: 17 Apr 201219 Apr 2012

Publication series

Name
PublisherHSCC 2012

Conference

ConferenceHybrid Systems: Computation and Control 2012, Beijing, China
Period17/04/1219/04/12

Keywords

  • Conf.proc. > 3 pag

Cite this

D'Innocenzo, A., Abate, A., & Katoen, J. P. (2012). Robust PCTL model checking. In T. Dang, & I. Mitchell (Eds.), Hybrid Systems: Computation and Control 2012 (pp. 275-285). HSCC 2012.