As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Period22 Jul 2001
    Event title13th International Conference on Computer Aided Verification, CAV 2001: null
    Event typeWorkshop
    Conference number13
    LocationParis, France
    Degree of RecognitionInternational

    Keywords

    • METIS-204831