Timed reachability in continuous-time Markov decision processes

    Activity: Talk or presentation › Oral 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, SpainShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-221285