Publications
- Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones
- Buksz Dorian, Mujumdar Anusha, Orlić Marin, Mohalik Swarup, Daoutis Marios, Badrinath Ramamurthy, Magazzeni Daniele, Cashmore Michael, Feljan Anerta Vulgarakis
- 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020 IEEE International Conference on Intelligent Robots and Systems, pp. 6733-6740 (2021)
- https://doi.org/10.1109/IROS45743.2020.9341440
- Using machine learning for decreasing state uncertainty in planning
- Krivic Senka, Cashmore Michael, Magazzeni Daniele, Szedmak Sandor, Piater Justus
- Journal of Artificial Intelligence Research Vol 69, pp. 765-806 (2020)
- https://doi.org/10.1613/JAIR.1.11567
- A new approach to plan-space explanation: analyzing plan-property dependencies in oversubscription planning
- Eifler Rebecca, Cashmore Michael, Hoffmann Jörg, Magazzeni Daniele, Steinmetz Marcel
- Proceedings of the AAAI Conference on Artificial Intelligence , pp. 9818-9826 (2020)
- https://doi.org/10.1609/aaai.v34i06.6534
- Robust plan execution with unexpected observations
- Lima Oscar, Cashmore Michael, Magazzeni Daniele, Micheli Andrea, Ventura Rodrigo
- (2020)
- Planning for hybrid systems via Satisfiability Modulo Theories
- Cashmore Michael, Magazzeni Daniele, Zehtabi Parisa
- Journal of Artificial Intelligence Research Vol 67, pp. 235-283 (2020)
- https://doi.org/10.1613/jair.1.11751
- Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
- Cashmore Michael, Cimatti Alessandro, Magazzeni Daniele, Micheli Andrea, Zehtabi Parisa
- (2019)