Presents parametric extrapolation for dense integer-complete underapproximation of parameter sets in bounded PTAs, with terminating algorithms for reachability and related properties.
Hill, and Enea Zaffanella
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Enumeration of extreme points of the subtour polytope for metric TSP is extended to 14 vertices, identifying missing points for n=11 and n=12.
citing papers explorer
-
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
Presents parametric extrapolation for dense integer-complete underapproximation of parameter sets in bounded PTAs, with terminating algorithms for reachability and related properties.
-
Extending Exact Integrality Gap Computations for the Metric TSP
Enumeration of extreme points of the subtour polytope for metric TSP is extended to 14 vertices, identifying missing points for n=11 and n=12.