Minimum-Cost Reachability for Priced Timed Automata

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Period30 Mar 2001
    Event titleHybrid Systems Workshop 2001
    Event typeWorkshop
    LocationRome, Italy