Tropical linear-fractional programming and parametric mean payoff games (Q435971): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2011.12.049
@@ Property / DOI: 10.1016/j.jsc.2011.12.049 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2088418904
@@ Property / OpenAlex ID: W2088418904 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3431
@@ Property / arXiv ID: 1101.3431 / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
+Normal rank
@@ Property / cites work @@
+TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES
+Normal rank
@@ Property / cites work @@
+Inferring Min and Max Invariants Using Max-Plus Polyhedra
+Normal rank
@@ Property / cites work @@
+Q3113735
@@ Property / cites work: Q3113735 / rank @@
+Normal rank
@@ Property / cites work @@
+The number of extreme points of tropical polyhedra
+Normal rank
@@ Property / cites work @@
+Tropical polar cones, hypergraph transversals, and mean payoff games
+Normal rank
@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+The Max-Atom Problem and Its Relevance
@@ Property / cites work: The Max-Atom Problem and Its Relevance / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems in max-algebra, control theory, hypergraphs and other areas
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+Normal rank
@@ Property / cites work @@
+-convexity
@@ Property / cites work: -convexity / rank @@
+Normal rank
@@ Property / cites work @@
+Max-linear Systems: Theory and Algorithms
@@ Property / cites work: Max-linear Systems: Theory and Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to max-linear programming
@@ Property / cites work: Introduction to max-linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive fixed point theorem for min-max functions
+Normal rank
@@ Property / cites work @@
+Duality and separation theorems in idempotent semimodules.
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The equation \(A \otimes x = B \otimes y\) over \((\max,+)\)
+Normal rank
@@ Property / cites work @@
+Q3964346
@@ Property / cites work: Q3964346 / rank @@
+Normal rank
@@ Property / cites work @@
+Tropical convexity
@@ Property / cites work: Tropical convexity / rank @@
+Normal rank
@@ Property / cites work @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+The duality theorem for min-max functions
@@ Property / cites work: The duality theorem for min-max functions / rank @@
+Normal rank
@@ Property / cites work @@
+The tropical analogue of polar cones
@@ Property / cites work: The tropical analogue of polar cones / rank @@
+Normal rank
@@ Property / cites work @@
+Methods and applications of (max,+) linear algebra
+Normal rank
@@ Property / cites work @@
+Precise Relational Invariants Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Cyclic games and an algorithm to find minimax cycle means in directed graphs
+Normal rank
@@ Property / cites work @@
+Q5290269
@@ Property / cites work: Q5290269 / rank @@
+Normal rank
@@ Property / cites work @@
+Max-Plus $(A,B)$-Invariant Spaces and Control of Timed Discrete-Event Systems
+Normal rank
@@ Property / cites work @@
+Invariant Half-Lines of Nonexpansive Piecewise-Linear Transformations
+Normal rank
@@ Property / cites work @@
+Stochastic Games with Perfect Information and Time Average Payoff
+Normal rank
@@ Property / cites work @@
+Idempotent functional analysis: An algebraic approach
+Normal rank
@@ Property / cites work @@
+Scheduling with AND/OR Precedence Constraints
@@ Property / cites work: Scheduling with AND/OR Precedence Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4140769
@@ Property / cites work: Q4140769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702489
@@ Property / cites work: Q5702489 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear and combinatorial optimization in ordered algebraic structures
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2011.12.049
@@ Property / DOI: 10.1016/J.JSC.2011.12.049 / rank @@
+Normal rank