Publication | Closed Access
On the optimal reachability problem of weighted timed automata
78
Citations
10
References
2007
Year
Mathematical ProgrammingEngineeringReachability ProblemFormal MethodsSystems EngineeringComputational ComplexityAutomaton OperationOptimal Reachability ProblemComputer ScienceCombinatorial OptimizationWeighted AutomatonFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1