Publication | Closed Access

Optimal infinite scheduling for multi-priced timed automata

Mathematical ProgrammingEngineeringScheduling AnalysisScheduling ProblemFormal MethodsSystems EngineeringComputational ComplexityComputer ScienceOptimal InfiniteTimed SystemCombinatorial OptimizationOperations Research