Automated Game-Theoretic Verification of Security Systems

Search results

  • Article

    Permissive Controller Synthesis for Probabilistic Systems

    Drager, K., Forejt, V., Kwiatkowska, M., Parker, D. & Ujma, M., 30 Jun 2015, In: Logical Methods in Computer Science. 11, 12, 16.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    8 Citations (Scopus)
    132 Downloads (Pure)
  • Verification and control of partially observable probabilistic systems

    Norman, G., Parker, D. & Zou, X., May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    23 Citations (Scopus)
    150 Downloads (Pure)
  • Chapter (peer-reviewed)

    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)
  • Conference contribution

    Verification of markov decision processes using learning algorithms

    Brázdil, T., Chatterjee, K., Chmelík, M., Forejt, V., Křetínský, J., Kwiatkowska, M., Parker, D. & Ujma, M., 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    81 Citations (Scopus)
  • Other chapter contribution

    Permissive Controller Synthesis for Probabilistic Systems

    Dräger, K., Forejt, V., Kwiatkowska, M., Parker, D. & Ujma, M., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Springer, Vol. 8413. p. 531-546 16 p. Chapter 44. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

    16 Citations (Scopus)