Verification and validation meet planning and scheduling-Reference-Cited by-同舟云学术

Verification and validation meet planning and scheduling

Published:2013-12-17 Issue:1 Volume:16 Page:1-12
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Bensalem Saddek,Havelund Klaus,Orlandini Andrea

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-013-0294-x.pdf

Reference88 articles.

1. Mars Science Laboratory (MSL) mission website. http://mars.jpl.nasa.gov/msl . Accessed Nov 2013

2. VVPS 2005 workshop website. http://icaps05.uni-ulm.de/workshops.html

3. VVPS 2009 workshop website. http://www-vvps09.imag.fr

4. VVPS 2011 workshop website. http://icaps11.icaps-conference.org/workshops/vvps.html

5. Abdedaim, Y., Asarin, E., Gallien, M., Ingrand, F., Lesire, C., Sighireanu, M.: Planning robust temporal plans: a comparison between CBTP and TGA approaches. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS’07), pp. 2–10 (2007)

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Human-Aware Goal-Oriented Autonomy through ROS-Integrated Timeline-based Planning and Execution;2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN);2023-08-28

2. Run-Time Monitors Design for Adaptive Radar Systems: A Practical Framework;2023 IEEE Radar Conference (RadarConf23);2023-05-01

3. Simulating Operational Concepts for Autonomous Robotic Space Exploration Systems: A Framework for Early Design Validation;Aerospace;2023-04-27

4. Incremental Timeline-Based Planning for Efficient Plan Execution and Adaptation;AIxIA 2022 – Advances in Artificial Intelligence;2023

5. Verification of Numeric Planning Problems Through Domain Dynamic Consistency;AIxIA 2022 – Advances in Artificial Intelligence;2023