Showing 1 - 1 results of 1 for search 'Parker, David ; Kwiatkowska, Marta', query time: 0.03s Refine Results
  1. 1
    On verification and controller synthesis for probabilistic systems at runtime
    by Ujma, Mateusz
    Published 2015
    Other Authors: “...Parker, David ; Kwiatkowska, Marta...”
    Get full text
Search Tools: Get RSS Feed — Email this Search