Establishing Performance Guarantees for Behavior-Based Robot Missions Using an SMT Solver
暂无分享,去创建一个
[1] Ronald C. Arkin,et al. Multiagent Mission Specification and Execution , 1997, Auton. Robots.
[2] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[3] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[4] Swarat Chaudhuri,et al. SMT-based synthesis of integrated task and motion plans from plan outlines , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[5] Anthony Cowley,et al. Towards language-based verification of robot behaviors , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[6] Edmund M. Clarke,et al. dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.
[7] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.
[8] Edmund M. Clarke,et al. δ-Complete Decision Procedures for Satisfiability over the Reals , 2012, IJCAR.
[9] Vijay Kumar,et al. Automated composition of motion primitives for multi-robot systems from safe LTL specifications , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[10] Damian M. Lyons,et al. Automatic Verification of Autonomous Robot Missions , 2014, SIMPAR.
[11] Ronald C. Arkin,et al. Verifying Performance for Autonomous Robot Missions with Uncertainty , 2013 .
[12] Cesare Tinelli,et al. Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.
[13] Damian M. Lyons,et al. Designing autonomous robot missions with performance guarantees , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[14] Kurt Geihs,et al. Using incomplete satisfiability modulo theories to determine robotic tasks , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[15] Jos C. M. Baeten,et al. A brief history of process algebra , 2005, Theor. Comput. Sci..
[16] Karsten Berns,et al. Verification of Behavior-Based Networks - Using Satisfiability Modulo Theories , 2014, ISR 2014.
[17] Viktor Kuncak,et al. Satisfiability Modulo Recursive Programs , 2011, SAS.
[18] Clark W. Barrett,et al. The SMT-LIB Standard Version 2.0 , 2010 .