Pages that link to "Item:Q2923336"
From MaRDI portal
The following pages link to Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336):
Displaying 5 items.
- Interval robustness of (interval) max-plus matrices (Q777352) (← links)
- Reachability of eigenspaces for interval circulant matrices in max-algebra (Q1747281) (← links)
- Max-plus steady states in discrete event dynamic systems with inexact data (Q2081088) (← links)
- Conditional independence in max-linear Bayesian networks (Q2117434) (← links)
- Approximating the volume of tropical polytopes is difficult (Q5742783) (← links)
