1. Europa: A platform for ai planning, scheduling, constraint programming, and optimization;Barreiro,2012
2. Mission planning and control of multi-aircraft systems with signal temporal logic specifications;Başpinar;IEEE Access,2019
3. Bernard, D., Dorais, G., Gamble, E., Kanefsky, B., Kurien, J., Man, G., Millar, W., Muscettola, N., Nayak, P., and Rajan, K. (1999). Spacecraft autonomy fight experience: The ds1 remote agent experiment.
4. Three-phase automatic crossing for a passenger ferry with field trials;Bitar,2021
5. Probabilistic planning in the graphplan framework;Blum,1999