Showing 1 - 6 results of 6 for search 'Jurdzinski, M', query time: 0.02s Refine Results
  1. 1
    Average−Time Games

    Average−Time Games by Jurdzinski, M, Trivedi, A

    Published 2008
    Conference item
  2. 2
    Concavely−Priced Timed Automata

    Concavely−Priced Timed Automata by Jurdzinski, M, Trivedi, A

    Published 2008
    Conference item
  3. 3
    Reachability−Time Games on Timed Automata

    Reachability−Time Games on Timed Automata by Jurdzinski, M, Trivedi, A

    Published 2007
    Conference item
  4. 4
    CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA

    CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA by Jurdzinski, M, Kwiatkowska, M, Norman, G, Trivedi, A

    Published 2009
    Report
  5. 5
    When are emptiness and containment decidable for probabilistic automata?

    When are emptiness and containment decidable for probabilistic automata? by Daviaud, L, Jurdziński, M, Lazić, R, Worrell, JB, Et al.

    Published 2021
    Journal article
  6. 6
    When is containment decidable for probabilistic automata?

    When is containment decidable for probabilistic automata? by Daviaud, L, Jurdziński, M, Lazić, R, Mazowiecki, F, Pérez, G, Worrell, J

    Published 2018
    Conference item

Search Tools: