Pages that link to "Item:Q3522071"
From MaRDI portal
The following pages link to Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071):
Displaying 19 items.
- Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- On just-in-time control of timed event graphs with input constraints: a semimodule approach (Q503033) (← links)
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- On the control of max-plus linear system subject to state restriction (Q540185) (← links)
- The number of extreme points of tropical polyhedra (Q616447) (← links)
- The tropical analogue of polar cones (Q1030724) (← links)
- Conditional reachability of uncertain max plus linear systems (Q1797147) (← links)
- Computing the vertices of tropical polyhedra using directed hypergraphs (Q1943657) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Approximating the volume of tropical polytopes is difficult (Q5742783) (← links)
