Cyber Detectives: Determining When Robots or People Misbehave
暂无分享,去创建一个
[1] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[2] Sebastian Thrun,et al. FastSLAM: a factored solution to the simultaneous localization and mapping problem , 2002, AAAI/IAAI.
[3] J. Hopcroft,et al. Efficient algorithms for graph manipulation , 1971 .
[4] Hadas Kress-Gazit,et al. Valet parking without a valet , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[5] Hugh F. Durrant-Whyte,et al. A solution to the simultaneous localization and map building (SLAM) problem , 2001, IEEE Trans. Robotics Autom..
[6] Nisheeth Shrivastava,et al. Target tracking with binary proximity sensors: fundamental limits, minimal descriptions, and algorithms , 2006, SenSys '06.
[7] Keiji Nagatani,et al. Topological simultaneous localization and mapping (SLAM): toward exact localization without explicit localization , 2001, IEEE Trans. Robotics Autom..
[8] J. M. M. Montiel,et al. The SPmap: a probabilistic framework for simultaneous localization and map building , 1999, IEEE Trans. Robotics Autom..
[9] Jeung-Yoon Choi,et al. On target tracking with binary proximity sensors , 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..
[10] Steven M. LaValle,et al. Planning algorithms , 2006 .
[11] Max Dehn,et al. Papers on Group Theory and Topology , 1987 .
[12] Sean R Eddy,et al. What is dynamic programming? , 2004, Nature Biotechnology.
[13] Steven M. LaValle,et al. Distance-Optimal Navigation in an Unknown Environment Without Sensing Distances , 2007, IEEE Transactions on Robotics.
[14] Vijay Kumar,et al. Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems , 2008, Int. J. Robotics Res..
[15] Olivier Bournez,et al. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems , 2000, HSCC.
[16] Zack J. Butler,et al. Tracking a moving object with a binary sensor network , 2003, SenSys '03.
[17] Steven M. LaValle,et al. Tracking hidden agents through shadow information spaces , 2008, 2008 IEEE International Conference on Robotics and Automation.
[18] Bruce H. Krogh,et al. Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..
[19] Steven M. LaValle,et al. Filtering and Planning in Information Spaces , 2009 .
[20] Oliver Brock,et al. Target Enumeration via Integration Over Planar Sensor Networks , 2009 .
[21] J. Hopcroft,et al. Algorithm 447: efficient algorithms for graph manipulation , 1973, CACM.
[22] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[23] Steven M. LaValle,et al. Probabilistic shadow information spaces , 2010, 2010 IEEE International Conference on Robotics and Automation.
[24] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[25] Hugh F. Durrant-Whyte,et al. A Fully Decentralized Multi-Sensor System For Tracking and Surveillance , 1993, Int. J. Robotics Res..
[26] Wolfram Burgard,et al. A Probabilistic Approach to Concurrent Mapping and Localization for Mobile Robots , 1998, Auton. Robots.
[27] Chee-Keng Yap,et al. Algorithmic and geometric aspects of robotics , 1987 .
[28] Leonidas J. Guibas,et al. Counting Targets: Building and Managing Aggregates in Wireless Sensor Networks , 2002 .
[29] David B. A. Epstein,et al. Word processing in groups , 1992 .
[30] Upamanyu Madhow,et al. Tracking Multiple Targets Using Binary Proximity Sensors , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.
[31] Ronald Parr,et al. DP-SLAM: Fast, Robust Simultaneous Localization and Mapping Without Predetermined Landmarks , 2003, IJCAI.
[32] Fred Cohen,et al. Sensor Beams, Obstacles, and Possible Paths , 2008, WAFR.