Timed reachability in continuous-time Markov decision processes

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Period29 Mar 2004
    Event title10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004: null
    Event typeConference
    Conference number10
    LocationBarcelona, Spain
    Degree of RecognitionInternational

    Keywords

    • METIS-221285