Magazzeni, Daniele
King's College London
2 papers on CoChatORCID 0000-0002-1934-3447
Most cited papers
- Verified
ROSPlan: Planning in the Robot Operating System
Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurtos, N., & Carreras, M. (2015) · Proceedings of the International Conference on Automated Planning and Scheduling
AI-based Problem Solving and PlanningRobotics and Automated Systems
Cited by 245
- Verified
Validation and Verification of Smart Contracts: A Research Agenda
Magazzeni, D., McBurney, P., & Nash, W. (2017) · Computer
Blockchain Technology Applications and SecurityDigital Transformation in Law
Cited by 184
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free