Automated Game-Theoretic Verification of Security Systems

Chapter (peer-reviewed)

Search results

  • 2015

    Verification and control of partially observable probabilistic real-time systems

    Norman, G., Parker, D. & Zou, X., 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 proceedingChapter (peer-reviewed)peer-review

    5 Citations (Scopus)