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

  • K.G. Larsen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period22 Jul 2001
    Event title13th International Conference on Computer Aided Verification, CAV 2001
    Event typeWorkshop
    Conference number13
    LocationParis, FranceShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-204831