Publications
Journal Articles
S. Tully, G. Kantor, H. Choset.
A Unified Bayesian Framework for Global Localization and SLAM in Hybrid Metric/Topological Maps.
(Accepted) International Journal of Robotics Research (IJRR), 2012.
R. Kuc, S. Tully.
Estimating Reaction Time Delay in Vehicle Operation.
Journal of Japan Society for Early Stage of Dementia, Vol. 1, No. 1, 2007.
Refereed Conference Proceedings
S. Tully, A. Bajo, G. Kantor, H. Choset, N. Simaan.
Constrained Filtering with Contact Detection Data for the Localization and Registration of Continuum Robots in Flexible Environments.
To Appear: Proc. 2012 IEEE International Conference on Robotics and Automation (ICRA), May, 2012.
C. Gong, S. Tully, G. Kantor, H. Choset.
Multi-Agent Deterministic Graph Mapping via Robot Rendezvous.
To Appear: Proc. 2012 IEEE International Conference on Robotics and Automation (ICRA), May, 2012.
S. Tully, G. Kantor, H. Choset.
Inequality Constrained Kalman Filtering for the Localization and Registration of a Surgical Robot.
Proc. 2011 IEEE International Conference on Intelligent Robots and Systems (IROS), Sept, 2011.
S. Tully, G. Kantor, M.A. Zenati, H. Choset.
Shape Estimation for Image-Guided Surgery with a Highly Articulated Snake Robot.
Proc. 2011 IEEE International Conference on Intelligent Robots and Systems (IROS), Sept, 2011.
Y. Fu, S. Tully, G. Kantor, H. Choset.
Monte Carlo Localization using 3D Texture Maps.
Proc. 2011 IEEE International Conference on Intelligent Robots and Systems (IROS), Sept, 2011.
T. Tao, S. Tully, G. Kantor, H. Choset.
Incremental Construction of the Saturated-GVG for Multi-Hypothesis Topological SLAM.
Proc. 2011 IEEE International Conference on Robotics and Automation (ICRA), May, 2011.
S. Tully, G. Kantor, H. Choset.
A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM.
Proc. 2010 AAAI Conference on Artificial Intelligence, July, 2010.
S. Tully, G. Kantor, H. Choset, F. Werner.
A Multi-Hypothesis Topological SLAM Approach for Loop Closing on Edge-Ordered Graphs.
Proc. 2009 IEEE International Conference on Intelligent Robots and Systems (IROS), Oct, 2009.
F. Werner, F. Maire, J. Sitte, H. Choset, S. Tully, G. Kantor.
Topological SLAM using Neighbourhood Information of Places.
Proc. 2009 IEEE International Conference on Intelligent Robots and Systems (IROS), Oct, 2009.
S. Tully, G. Kantor, H. Choset.
Leap-Frog Path Design for Multi-Robot Cooperative Localization.
Proc. 2009 Field and Service Robotics, FSR 2009, Cambridge, Mass, July, 2009.
S. Tully, H. Moon, G. Kantor, H. Choset.
Iterated Filters for Bearing-Only SLAM.
Proc. 2008 IEEE International Conference on Robotics and Automation (ICRA), May, 2008.
H. Moon, S. Tully, G. Kantor, H. Choset.
Square-Root Iterated Kalman Filter for Bearing-Only SLAM.
The 4th International Conference on Ubiquitous Robots and Ambient Intelligence, 2007.
S. Tully, H. Moon, D. Morales, G. Kantor, H. Choset.
Hybrid Localization using the Hierarchical Atlas.
Proc. 2007 IEEE International Conference on Intelligent Robots and Systems (IROS), Oct, 2007.
Abstracts, Videos, and Workshops
A. Degani, S. Tully, B. Zubiate, H. Choset.
Over-tube Apparatus for Increasing the Capabilities of an Articulated Robotic Probe.
To Appear: Proc. 2012 IEEE International Conference on Robotics and Automation (ICRA), May, 2012.
S. Tully, G. Kantor, M.A. Zenati, H. Choset.
Image Guidance and Semi-Autonomous Navigation for Robot Assisted Epicardial Interventions.
Annual Meeting, Intl. Society for Minimally Invasive Cardiothoracic Surgery (ISMICS), June, 2011.
M. Chapman, T. Yokota, T. Ota, S. Tully, D. Schwartzman, B. Zubiate, C. Wright, H. Choset, M.A. Zenati.
A Highly Articulated Robotic System (CardioARM) is Safer than a Rigid System for Intrapericardial Intervention in a Porcine Model.
Workshop 2010 IEEE International Conference on Robotics and Automation (ICRA), May, 2010.
R. Kuc, S. Tully.
Cybernetic Model for Monitoring Early Dementia From Vehicle Operation Data.
Proc. 7th Annual Conf. Japan Society for Early Stage of Dementia, Sept, 2005.