Publications


Preprints

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in arXiv preprint arXiv:2104.11803,  Apr 2021.

B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo,  "Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems",  in arXiv preprint arXiv:2102.05490,  Feb 2021.

H. Bayerlein, M. Theile, M. Caccamo, D. Gesbert,  "Multi-UAV Path Planning for Wireless Data Harvesting with Deep Reinforcement Learning",  in arXiv preprint arXiv:2010.12461,  Oct 2020.

M. Theile, H. Bayerlein, R. Nai, D. Gesbert, M. Caccamo,  "UAV Path Planning using Global and Local Map Information with Deep Reinforcement Learning",  in arXiv preprint arXiv:2010.06917,  Oct 2020.