Publications

GenSynthPop: generating a spatially explicit synthetic population of individuals and households from aggregated data

De mooij, J., Sonnenschein, T., Pellegrino, M., Dastani, M., Ettema, D., Logan, B., Verstegen, J. a.

Autonomous Agents and Multi-Agent Systems, vol. 38, no. 2, 48

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1007/s10458-024-09680-7

Open Access

http://aura.abdn.ac.uk/bitstream/2164/24334/1/Mooij_etal_AAMAS_GenSynthPop_Generating_A_VoR.pdf

Maximally Permissive Reward Machines

Varricchione, G., Alechina, N., Dastani, M., Logan, B.

Contributions to Conferences: Papers

Farm Explorer: A Tool for Calculating Transparent Greenhouse Gas Emissions

Markovic, M., Germano, S., Garijo, D., Edwards, P., Li, A., Ayall, T. A., Ramsey, R., Leontidis, G.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

A Survey on Model-Free Goal Recognition

Amado, L., Shainkopf, S. P., Pereira, R. F., Mirsky, R., Meneguzzi, F.

Chapters in Books, Reports and Conference Proceedings: Conference Proceedings

Digital Object Identifier

https://doi.org/10.24963/ijcai.2024/877

Additional Links

View publication in Scopus

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition

Buss becker, L., Downs, A., Schlenoff, C., Albrecht, J., Kootbally, Z., Ferrando, A., Cardoso, R., Fisher, M.

Journal of Intelligent & Robotic Systems, vol. 110, no. 112

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1007/s10846-024-02148-6

Open Access

http://aura.abdn.ac.uk/bitstream/2164/23960/1/Buss_etal_JIRS_Effects_Of_The_VoR.pdf

A Practical Operational Semantics for Classical Planning in BDI Agents

Xu, M., Lumley, T., Fraga Pereira, R., Meneguzzi, F.

Contributions to Conferences: Papers

Additional Links

https://www.ecai2024.eu/

Explorative Imitation Learning: A Path Signature Approach for Continuous Environments

Gavenski, N., Monteiro Dos Santos Júnior, J., Meneguzzi, F., Luck, M., Rodrigues, O.

Contributions to Conferences: Papers

Real-time goal recognition using approximations in Euclidean space

Tesch, D., Amado, L., Meneguzzi, F.

Contributions to Conferences: Papers

Additional Links

Conference website

Security-Minded Verification of Cooperative Awareness Messages

Farrell, M., Bradbury, M., Cardoso, R. C., Fisher, M., Dennis, L. A., Dixon, C., Sheik, A. T., Yuan, H., Maple, C.

IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4, pp. 4048-4065

Contributions to Journals: Articles

Digital Object Identifier

https://doi.org/10.1109/TDSC.2023.3345543

Open Access

http://aura.abdn.ac.uk/bitstream/2164/23926/1/Farrell_etal_IEEETDSC_Security-Minded_Verification_Cooperative_VOR.pdf

Additional Links

View publication in Scopus

Intention Progression with Temporally Extended Goals

Yao, Y., Alechina, N., Logan, B.

Contributions to Conferences: Papers