Pages that link to "Item:Q444476"
From MaRDI portal
The following pages link to Reachability analysis for timed automata using max-plus algebra (Q444476):
Displaying 7 items.
- Reachability analysis for timed automata using max-plus algebra (Q444476) (← links)
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- Conditional reachability of uncertain max plus linear systems (Q1797147) (← links)
- Analysis and control of max-plus linear discrete-event systems: an introduction (Q2177779) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Tropical Fourier–Motzkin elimination, with an application to real-time verification (Q2923336) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
