Published Items by Year
Collaborations
Subject Areas
Institution’s Latest Publications
- introduction
Introduction to the Special Issue on Artificial Intelligence for Human–Robot Interaction (AI-HRI)
- Jivko Sinapov,
- Zhao Han,
- Shelly Bagchi,
- Muneeb Ahmad,
- Matteo Leonetti,
- Ross Mead,
- Reuth Mirsky,
- Emmanuel Senft
September 2024ACM Transactions on Human-Robot Interaction, Volume 13, Issue 3https://doi.org/10.1145/3672535 - keynote
Operational and Declarative Runtime Verification (Keynote)
September 2024VORTEX 2024: Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Executionhttps://doi.org/10.1145/3679008.3685541