Minimum-Cost Reachability for Priced Timed Automata

  • K.G. Larsen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period30 Mar 2001
    Event titleHybrid Systems Workshop 2001
    Event typeWorkshop
    LocationRome, ItalyShow on map