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
    Event typeConference
    Conference number10
    LocationBarcelona, Spain
    Degree of RecognitionInternational

    Keywords

    • METIS-221285