The following pages link to Stéphane Gaubert (Q255785):
Displayed 50 items.
- Solving generic nonarchimedean semidefinite programs using stochastic game algorithms (Q2409007) (← links)
- The contraction rate in Thompson's part metric of order-preserving flows on a cone -- application to generalized Riccati equations (Q2441677) (← links)
- Tropical bounds for eigenvalues of matrices (Q2442372) (← links)
- An inequality for the Perron and Floquet eigenvalues of monotone differential systems and age structured equations (Q2464271) (← links)
- A policy iteration algorithm for zero-sum stochastic games with mean payoff (Q2504730) (← links)
- Cyclic projectors and separation theorems in idempotent convex geometry (Q2519211) (← links)
- Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard (Q2730242) (← links)
- Uniqueness of the fixed point of nonexpansive semidifferentiable maps (Q2796521) (← links)
- (Q2799158) (← links)
- Is the Distance Geometry Problem in NP? (Q2841700) (← links)
- Certification of Bounds of Non-linear Functions: The Templates Method (Q2843005) (← links)
- (Q2861565) (← links)
- (Q2861566) (← links)
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis (Q2881067) (← links)
- TROPICAL POLYHEDRA ARE EQUIVALENT TO MEAN PAYOFF GAMES (Q2882394) (← links)
- Submodularity and Randomized rounding techniques for Optimal Experimental Design (Q2883636) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Tropical Cramer determinants revisited (Q2942936) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- (Q3064705) (← links)
- Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems (Q3083278) (← links)
- (Q3113735) (← links)
- Deterministic weak-and-marked Petri net languages are regular (Q3124464) (← links)
- (Q3159203) (← links)
- Linear independence over tropical semirings and beyond (Q3181755) (← links)
- The optimal assignment problem for a countable state space (Q3181756) (← links)
- A maximin characterisation of the escape rate of non-expansive mappings in metrically convex spaces (Q3225521) (← links)
- Iteration of order preserving subhomogeneous maps on a cone (Q3373653) (← links)
- Tropical Scaling of Polynomial Matrices (Q3407662) (← links)
- (Q3437528) (← links)
- Tropicalizing the Simplex Algorithm (Q3453613) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (Q3558213) (← links)
- Reducible Spectral Theory with Applications to the Robustness of Matrices in Max-Algebra (Q3584166) (← links)
- The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis (Q3617234) (← links)
- Comparison of Perron and Floquet Eigenvalues in Age Structured Cell Division Cycle Models (Q3635227) (← links)
- (Q3842601) (← links)
- The duality theorem for min-max functions (Q4229967) (← links)
- Asymptotics of the Perron eigenvalue and eigenvector using max-algebra (Q4235405) (← links)
- (Q4276382) (← links)
- Minimal (max,+) Realization of Convex Sequences (Q4388906) (← links)
- (Q4395217) (← links)
- (Q4395218) (← links)
- Modeling and analysis of timed Petri nets using heaps of pieces (Q4506745) (← links)
- Timed-event graphs with multipliers and homogeneous min-plus systems (Q4507203) (← links)
- Log-Barrier Interior Point Methods Are Not Strongly Polynomial (Q4564017) (← links)
- Minimax representation of nonexpansive functions and application to zero-sum recursive games (Q4609985) (← links)
- The operator approach to entropy games (Q4636603) (← links)
- (Q4657046) (← links)
- (Q4763580) (← links)