The following pages link to Ventsislav Chonev (Q2330592):
Displayed 8 items.
- Reachability in augmented interval Markov chains (Q2330593) (← links)
- On the Complexity of the Orbit Problem (Q3177796) (← links)
- (Q4598241) (← links)
- On Recurrent Reachability for Continuous Linear Dynamical Systems (Q4635910) (← links)
- Infinite-Duration Bidding Games (Q5111634) (← links)
- Infinite-duration Bidding Games (Q5215460) (← links)
- The Polyhedron-Hitting Problem (Q5362998) (← links)
- The orbit problem in higher dimensions (Q5495866) (← links)