Technical Report CSR-03-6: Performance analysis of Probabilistic Timed Automata using Digital Clocks

Research output: Working paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2003
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

By the same authors

Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker & Jeremy Sproston, 1 Jan 2004, p. 105-120. 16 p.

Research output: Contribution to conference (unpublished) › Paper

Compositional probabilistic verification through multi-objective model checking

Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In : Information and Computation. 232, p. 38-65

Research output: Contribution to journal › Article

Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 1 Jul 2007, In : Information and Computation. 205, 7, p. 1027-1077 51 p.

Research output: Contribution to journal › Article

Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, 1 Jan 2004, p. 293-308. 16 p.

Research output: Contribution to conference (unpublished) › Paper

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol

Marta Kwiatkowska, Gethin Norman & Jeremy Sproston, 7 Apr 2003, In : Formal Aspects of Computing. 14, p. 295-318 24 p.

Research output: Contribution to journal › Article