1. Services and simulation frameworks for vehicular cloud computing: a contemporary survey;Ahmed;EURASIP J. Wirel. Commun. Netw.,2019
2. Informative path planning for automatic robotic auscultation;Zhu,2021
3. Logic for social software;Pauly,2001
4. A modal logic for coalitional power in games;Pauly;J. Log. Comput.,2002
5. Coalition logic with individual, distributed and common knowledge;Ågotnes;J. Log. Comput.,2019