Acknowledgement
Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발
References
- P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2008.
- E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, MIT Press, 1999.
- D. Harel and A. Pnueli, "On the Development of Reactive Systems", NATO ASI Series, K. Apt, ed., vol. F-13, pp. 477-498. New York: Springer, 1985.
- M. Broy, et. aI., Model-based Testing of Reactive Systems, Lecture Notes in Computer Science 3472, Springer, 2005.
- K. Schneider, Verification of Reactive Systems: Formal Methods and Algorithms, Springer, 1998.
- A. Pnueli and R. Rosner, "On the Synthesis of a Reactive Module", In the proceedings of 16th ACM Symposium Principles of Programming Language, pp.179-190, 1989.
- N. Piterman, A. Pnueli, and Y. Saar, "Synthesis of Rective(1) Designs", In the proceedings of VMCAI, pp. 364-380, 2006.
- T. wongpiromsam, U. Topcu, and R. M. murray, "Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems", In the proceedings of AAAI, 2011.
- G. E, Fainekos, H. Kress-Gazit, and G. J. Pappas, "Temporal Logic Motion Planning for Mobile Robots", In the proceedings of ICRA, pp.2020-2025, 2005.
- H. Kress-Gazit, Transforming High Level Tasks to Low Level Controllers, Ph. D. Dissertation, University of Pennsylvania, 2008.
- http://ltlmop.github.com
- Hadas Kress-Gazit, Georgios E. Fainekos and George J. Pappas. "Translating Structured English to Robot Controllers", 2008, Advanced Robotics Special Issue on Selected Papers from IROS 2007