The following pages link to Ritam Raha (Q2672230):
Displaying 5 items.
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- (Q5020520) (← links)
- Scalable anytime algorithms for learning fragments of linear temporal logic (Q6535567) (← links)
- A framework for the competitive analysis of model predictive controllers (Q6623022) (← links)
- Parikh one-counter automata (Q6647658) (← links)
