Showing 1 - 2 results of 2 for search 'Kwiatkowska, G', query time: 0.02s Refine Results
  1. 1
    Concavely−Priced Probabilistic Timed Automata

    Concavely−Priced Probabilistic Timed Automata by Kwiatkowska, G, Trivedi, A

    Published 2009
    Conference item
  2. 2
    Abstraction Refinement for Probabilistic Software

    Abstraction Refinement for Probabilistic Software by Kwiatkowska, G, Parker, D

    Published 2009
    Conference item

Search Tools: