12 citations · 43 across the 22 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2017★ 1 cited
The Robot Routing Problem for Collecting Aggregate Stochastic Rewards
Rayna Dimitrova, Ivan Gavran, Rupak Majumdar +2
We propose a new model for formalizing reward collection problems on graphs with dynamically generated rewards which may appear and disappear based on a stochastic model. The *robo…
eess.SY2014
Abstractions and sensor design in partial-information, reactive controller synthesis
Jie Fu, Rayna Dimitrova, Ufuk Topcu
Automated synthesis of reactive control protocols from temporal logic specifications has recently attracted considerable attention in various applications in, for example, robotic…