1. Principles of model checking, volume 26202649;Baier,2008
2. Behrmann, G., David, A., Pettersson, P., Yi, W., and Hendriks, M. (2006). Uppaal 4.0.
3. Principles of robot motion: theory, algorithms, and implementation;Choset,2005
4. An intelligent gripper design for autonomous aerial transport with passive magnetic grasping and dual-impulsive release;Fiaz,2018
5. Fiaz, U.A. and Baras, J.S. (2019). Fast, composable rescue mission planning for uavs using metric temporal logic. arXiv preprint arXiv:1912.07848.