Vehicle Routing Problem with Metric Temporal Logic Specifications
暂无分享,去创建一个
[1] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[2] Stephan Merz,et al. Model Checking , 2000 .
[3] Joël Ouaknine,et al. On the decidability of metric temporal logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[4] Pierre-Yves Schobbens,et al. The Regular Real-Time Languages , 1998, ICALP.
[5] Maria Grazia Speranza,et al. The application of a vehicle routing model to a waste-collection problem: two case studies , 2002, J. Oper. Res. Soc..
[6] Lior Pachter,et al. UAV Task Assignment with Timing Constraints via Mixed-Integer Linear Programming , 2004 .
[7] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[8] Michel Gendreau,et al. Vehicle Routing Problem with Time Windows, Part II: Metaheuristics , 2005, Transp. Sci..
[9] Corey Schumacher,et al. UAV Scheduling via the Vehicle Routing Problem with Time Windows , 2007 .
[10] Meir Pachter,et al. Optimization of air vehicles operations using mixed-integer linear programming , 2007, J. Oper. Res. Soc..
[11] Rubén Ruiz,et al. A decision support system for a real vehicle routing problem , 2004, Eur. J. Oper. Res..
[12] Paolo Toth,et al. The Vehicle Routing Problem , 2002, SIAM monographs on discrete mathematics and applications.
[13] Michel Gendreau,et al. Vehicle Routing Problem with Time Windows, Part I: Route Construction and Local Search Algorithms , 2005, Transp. Sci..
[14] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[15] Thomas A. Henzinger,et al. A really temporal logic , 1994, JACM.
[16] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, JACM.
[17] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[18] Emilio Frazzoli,et al. Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning , 2008 .
[19] Yoshiaki Kuwata,et al. Experimental demonstrations of real-time MILP control , 2003 .
[20] E. Frazzoli,et al. Complex mission optimization for Multiple-UAVs using Linear Temporal Logic , 2008, 2008 American Control Conference.
[21] H Onal,et al. TWO FORMULATIONS OF THE VEHICLE ROUTING PROBLEM: AN EMPIRICAL APPLICATION AND COMPUTATIONAL EXPERIENCE , 1996 .
[22] Jonathan P. How,et al. Coordination and control of multiple UAVs with timing constraints and loitering , 2003, Proceedings of the 2003 American Control Conference, 2003..
[23] Jonathan P. How,et al. Multi-Task Allocation and Path Planning for Cooperating UAVs , 2003 .