Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
暂无分享,去创建一个
[1] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[2] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[3] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[4] Stephan Merz,et al. Model Checking , 2000 .
[5] Viktor Schuppan,et al. RATSY - A New Requirements Analysis Tool with Synthesis , 2010, CAV.
[6] Viktor Schuppan. Towards a Notion of Unsatisfiable Cores for LTL , 2009, FSEN.
[7] Viktor Schuppan,et al. Diagnostic Information for Realizability , 2008, VMCAI.
[8] Viktor Schuppan,et al. Boolean Abstraction for Temporal Logic Satisfiability , 2007, CAV.
[9] Roderick Bloem,et al. Debugging formal specifications using simple counterstrategies , 2009, 2009 Formal Methods in Computer-Aided Design.
[10] Krishnendu Chatterjee,et al. Environment Assumptions for Synthesis , 2008, CONCUR.
[11] Ufuk Topcu,et al. Receding horizon control for temporal logic specifications , 2010, HSCC '10.
[12] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[13] Hadas Kress-Gazit,et al. Translating Structured English to Robot Controllers , 2008, Adv. Robotics.
[14] Ilan Beer,et al. Explaining Counterexamples Using Causality , 2009, CAV.
[15] Amir Pnueli,et al. Jtlv: A Framework for Developing Verification Algorithms , 2010, CAV.
[16] Marsha Chechik,et al. CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings , 2008, CONCUR.
[17] Hadas Kress-Gazit,et al. LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.