Performance Verification for Behavior-Based Robot Missions
暂无分享,去创建一个
[1] Emilio Frazzoli,et al. Specification and planning of UAV missions: a Process Algebra approach , 2009, 2009 American Control Conference.
[2] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[3] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .
[4] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[5] Stephen Fox,et al. Characterizing performance guarantees for multiagent, real-time systems operating in noisy and uncertain environments , 2012, PerMIS.
[6] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[7] Calin Belta,et al. Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.
[8] Jos C. M. Baeten,et al. A brief history of process algebra , 2005, Theor. Comput. Sci..
[9] Benjamin Johnson,et al. Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error , 2011, Robotics: Science and Systems.
[10] Jonathan P. Bowen,et al. High-Integrity System Specification and Design , 1999 .
[11] Prakash P. Shenoy. Inference in Hybrid Bayesian Networks Using Mixtures of Gaussians , 2006, UAI.
[12] Mitchell Wand,et al. Essentials of programming languages , 2008 .
[13] Alastair F. Donaldson,et al. Software Model Checking , 2014, Computing Handbook, 3rd ed..
[14] Robin R. Murphy,et al. Human-robot interactions during the robot-assisted urban search and rescue response at the World Trade Center , 2003, IEEE Trans. Syst. Man Cybern. Part B.
[15] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[16] Damian M. Lyons,et al. Towards performance guarantees for emergent behavior , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.
[17] Rocco De Nicola,et al. Extensional equivalences for transition systems , 1987, Acta Informatica.
[18] Ronald C. Arkin,et al. An Behavior-based Robotics , 1998 .
[19] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.
[20] Eric Klavins,et al. A compositional framework for programming stochastically interacting robots , 2011, Int. J. Robotics Res..
[21] Karen Rudie,et al. A survey of modeling and control of hybrid systems , 1997 .
[22] Hadas Kress-Gazit,et al. Automatic synthesis of robot controllers for tasks with locative prepositions , 2010, 2010 IEEE International Conference on Robotics and Automation.
[23] Michael A. Arbib,et al. Port Automata and the Algebra of Concurrent Processes , 1983, J. Comput. Syst. Sci..
[24] M. M. Bayoumi,et al. Modeling and Control of Hybrid Systems: A Survey , 1996 .
[25] Stephen Fox,et al. Characterizing Performance Guarantees for Real-Time Multiagent Systems Operating in Noisy and Uncertain Environments , 2012 .
[26] Ronald C. Arkin,et al. Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems , 2012, Defense, Security, and Sensing.
[27] Damian M. Lyons,et al. A Software Tool for the Design of Critical Robot Missions with Performance Guarantees , 2013, CSER.
[28] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[29] Corrado Böhm,et al. Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.
[30] Jonathan P. Bowen,et al. High-Integrity System Specification and Design , 1999, Formal Approaches to Computing and Information Technology (FACIT).
[31] Ismael Ripoll,et al. Period Selection for Minimal Hyperperiod in Periodic Task Systems , 2013, IEEE Transactions on Computers.
[32] Ronald C. Arkin,et al. Evaluating the Usability of Robot Programming Toolsets , 1998, Int. J. Robotics Res..
[33] Stephan Merz,et al. Model Checking , 2000 .