The following pages link to Dieky Adzkiya (Q262434):
Displaying 16 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems (Q513819) (← links)
- Tropical abstractions of MAX-plus linear systems (Q1631239) (← links)
- Bounded model checking of max-plus linear systems via predicate abstractions (Q2176702) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Formal Verification of Stochastic Max-Plus-Linear Systems (Q2980331) (← links)
- Generalized public transportation scheduling using max-plus algebra (Q4568264) (← links)
- (Q5061647) (← links)
- SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems (Q5092176) (← links)
- (Q5124116) (← links)
- (Q5133380) (← links)
- (Q5217200) (← links)
- (Q5217739) (← links)
- (Q5240056) (← links)
- Finite Abstractions of Max-Plus-Linear Systems (Q5353426) (← links)
- Decentralized static output feedback controller design for linear interconnected systems (Q6100070) (← links)
