Controller dependability analysis by probabilistic model checking

Research output: Contribution to conference (unpublished) › Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Publication statusPublished - 1 Jan 2004
Event11th IFAC Symposium on Information Control Problems in Manufacturing -
Duration: 1 Jan 2004 → …

Conference

Conference11th IFAC Symposium on Information Control Problems in Manufacturing
Period1/01/04 → …
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

By the same authors

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

Verification and control of partially observable probabilistic real-time systems

Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Local abstraction refinement for probabilistic timed programs

Marta Kwiatkowska, David Parker, 12 Jun 2014, In : Theoretical Computer Science. 538, p. 37-53

Research output: Contribution to journal › Article

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

David Parker, 13 Jul 2020, (Accepted/In press) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20). Springer, 25 p. (Lecture Notes in Comuter Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Multi-player Equilibria Verification for Concurrent Stochastic Games

David Parker, 19 Jun 2020, (Accepted/In press) Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Springer, 21 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution