The following pages link to Edon Kelmendi (Q2399251):
Displayed 11 items.
- Stamina: stabilisation monoids in automata theory (Q2399252) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Deciding Maxmin Reachability in Half-Blind Stochastic Games (Q2819447) (← links)
- Deciding the value 1 problem for probabilistic leaktight automata (Q2941760) (← links)
- (Q5111438) (← links)
- Extensions of ω-Regular Languages (Q5145637) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q6041135) (← links)
- What's decidable about discrete linear dynamical systems? (Q6113969) (← links)
- (Q6137833) (← links)
- Submixing and shift-invariant stochastic games (Q6183353) (← links)
- Reachability in Injective Piecewise Affine Maps (Q6424197) (← links)