Concepedia

Michael Cashmore

MC

Statistics

Publications

15

Citations

487

H-Index

13

Active since

2013

Affiliations

King's College London(Current)

University of Strathclyde

University of New Hampshire at Manchester

Technion – Israel Institute of Technology

Heriot-Watt University

Michael Cashmore is an author at King's College London specializing in computer science, autonomous systems, and computing.

Publications per year

2013–2022

15

Publications

15

Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017

Valerio Sanelli, Michael Cashmore, Luca Iocchi et al. · 2017 · 99 citations

Engineering, Autonomous Systems, Industrial Engineering +16

A Compilation of the Full PDDL+ Language into SMT

Michael Cashmore, Maria Fox, Derek Long et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2016 · 66 citations · Full text

Computing, Computer Science, Compilers +12

AUV mission control via temporal planning

Michael Cashmore, Maria Fox, Tom Larkworthy et al. · 2014 · 65 citations

Engineering, Autonomous Systems, Robotics Engineering +17

Opportunistic Planning in Autonomous Underwater Missions

Michael Cashmore, Maria Fox, Derek Long et al. · IEEE Transactions on Automation Science and Engineering · 2017 · 39 citations · Full text

Engineering, Autonomous Systems, Robotics Engineering +12

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning

Rebecca Eifler, Michael Cashmore, Jörg Hoffmann et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 35 citations · Full text

Computing, Computer Science, Formal Methods +7

1–5 of 15