Rangoli Sharan

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Reactive Systems

Top Venues

Publications

Mohamadreza Ahmadi, Rangoli Sharan, Joel W. Burdick
Stochastic Finite State Control of POMDPs with LTL Specifications. CoRR (2020)
Nicolas Hudson, Jeremy Ma, Paul Hebert, Abhinandan Jain, Max Bajracharya, Thomas F. Allen, Rangoli Sharan, Matanya B. Horowitz, Calvin Kuo, Thomas Howard, Larry H. Matthies, Paul Backes, Joel W. Burdick
Model-based autonomous system for performing dexterous, human-level manipulation tasks. Auton. Robots 36 (1-2) (2014)
Rangoli Sharan, Joel W. Burdick
Finite state control of POMDPs with LTL specifications. ACC (2014)
SangHyun Chang, Rangoli Sharan, Michael T. Wolf, Naoki Mitsumoto, Joel W. Burdick
People Tracking with UWB Radar Using a Multiple-Hypothesis Tracking of Clusters (MHTC) Method. Int. J. Soc. Robotics 2 (1) (2010)