Formal Performance Guarantees for Behavior-Based Localization Missions
暂无分享,去创建一个
[1] Damian M. Lyons,et al. Probabilistic Verification of Multi-robot Missions in Uncertain Environments , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).
[2] Anthony Cowley,et al. Towards language-based verification of robot behaviors , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[3] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .
[4] Wolfram Burgard,et al. Monte Carlo localization for mobile robots , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[5] Hyoungki Lee,et al. Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100 , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[6] Karsten Berns,et al. Formal verification of safety behaviours of the outdoor robot ravon , 2007, ICINCO-RA.
[7] Karsten P. Ulland,et al. Vii. References , 2022 .
[8] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[9] Jie Zhang,et al. Formal verification of a collision-free algorithm of dual-arm robot in HOL4 , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[10] Hugh Durrant-Whyte,et al. Simultaneous localization and mapping (SLAM): part II , 2006 .
[11] Ronald C. Arkin,et al. An Analysis of Displays for Probabilistic Robotic Mission Verification Results , 2017 .
[12] Dieter Fox,et al. KLD-Sampling: Adaptive Particle Filters , 2001, NIPS.
[13] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[14] Ronald C. Arkin,et al. SLAM-Based Spatial Memory for Behavior-Based Robots , 2015 .
[15] Damian M. Lyons,et al. Performance Verification for Behavior-Based Robot Missions , 2015, IEEE Trans. Robotics.
[16] Christoph Lüth,et al. Experiences in Applying Formal Verification in Robotics , 2010, SAFECOMP.
[17] Kerstin Eder,et al. Verification and testing of mobile robot navigation algorithms: A case study in SPARK , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[18] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[19] Nikolaj Bjørner,et al. Satisfiability modulo theories , 2011, Commun. ACM.
[20] Clare Dixon,et al. Formal Verification of an Autonomous Personal Robotic Assistant , 2014, AAAI Spring Symposia.
[21] Rajeev Joshi,et al. Verifying Multi-threaded C Programs with SPIN , 2008, SPIN.
[22] Karsten Berns,et al. Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories , 2014, ISR 2014.
[23] Damian M. Lyons,et al. Automatic Verification of Autonomous Robot Missions , 2014, SIMPAR.
[24] Qing Hu,et al. Does deterrence work in reducing information security policy abuse by employees? , 2011, Commun. ACM.