Publications

  1. Tosello Elisa; Bonel Paolo; Buranello Alberto; Carraro Marco; Cimatti Alessandro; Granelli Lorenzo; Panjkovic Stefan; Micheli Andrea, Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection: An Autonomous Underwater Architecture, in «IEEE ROBOTICS AND AUTOMATION MAGAZINE», 2024-12, DOI: 10.1109/MRA.2024.3352810, ISSN: 1070-9932
  2. Panjkovic Stefan; Micheli Andrea, Expressive Optimal Temporal Planning via Optimization Modulo Theory, Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI2023, vol. 37, n. 10, 2023, pp. 12095-12102, DOI: 10.1609/aaai.v37i10.26426
  3. Bozzano Marco; Bussola Riccardo; Cristoforetti Marco; Goyal Srajan; Jonas Martin; Kapellos Konstantinos; Micheli Andrea; Soldà Davide; Tonetta Stefano; Tranoris Christos; Valentini Alessandro, RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets, The Use of Artificial Intelligence for Space Applications. Workshop at the 2022 International Conference on Applied Intelligence and Informatics, vol. 1088, 2023, pp. 183-198, DOI: 10.1007/978-3-031-25755-1_12
  4. A. Gottardi, S. Tortora, E. Tosello, E. Menegatti, Shared Control in Robot Teleoperation With Improved Potential Fields, IEEE Transactions on Human-Machine Systems, vol. 52, n. 3, June 2022, pp. 410-422, DOI: 10.1109/THMS.2022.3155716
  5. A. Franceschetti, E. Tosello, N. Castaman, S. Ghidoni, Robotic Arm Control and Task Training Through Deep Reinforcement Learning, Intelligent Autonomous Systems 16, vol. 412, 2022, pp. 532-550, DOI: https://doi.org/10.1007/978-3-030-95892-3_41
  6. Autonomous Robotics (AuR) Ontology Working Group, IEEE Standard number P1872.2, 2022
  7. L. Tagliapietra, E. Tosello, E. Pagello, E. Menegatti, Planning Domain Definition Language Generator, Interpreter, and Knowledge Base for Efficient Automated Planning, Intelligent Autonomous Systems 16, vol. 412, 2022, DOI: https://doi.org/10.1007/978-3-030-95892-3_43
  8. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time, in «ARTIFICIAL INTELLIGENCE», vol. 307, 2022, DOI: 10.1016/j.artint.2022.103686, ISSN: 0004-3702
  9. Panjkovic Stefan; Micheli Andrea; Cimatti Alessandro, Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI2022, 2022
  10. Gigante Nicola; Micheli Andrea; Scala Enrico, On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022, pp. 174-183, DOI: 10.24963/kr.2022/18
  11. P. J.S. Gonçalves, A. Olivares Alarcos, J. Bermejo-Alonso, S. Borgo, M. Diab, M. Habib, H. Kumar Nakawala, S. V. Ragavan, R. Sanz, E. Tosello, H. Li, IEEE Standard for Autonomous Robotics Ontology, IEEE Robotics & Automation Magazine, vol. 28, n. 3, Sept. 2021, pp. 171-173, DOI: 10.1109/MRA.2021.3095993
  12. N. Castaman, E. Tosello, M. Antonello, N. Bagarello, S. Gandin, M. Carraro, M. Munaro, R. Bortoletto, S. Ghidoni, E. Menegatti, E. Pagello, RUR53: an unmanned ground vehicle for navigation, recognition, and manipulation, Advanced Robotics, vol. 35, n. 1, 2021, pp. 1-18, DOI: 10.1080/01691864.2020.1833752
  13. Syifa'ul Mufid Muhammad; Micheli Andrea; Abate Alessandro; Cimatti Alessandro, SMT-Based Model Checking of Max-Plus Linear Systems, 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021, DOI: 10.4230/lipics.concur.2021.22
  14. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans, Proceedings of 13:1--13:128th International Symposium on Temporal Representation and Reasoning (TIME 2021), 2021, pp. 13:1-13:14, DOI: 10.4230/lipics.time.2021.13, Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
  15. Ribeiro Tomás; Lima Oscar; Cashmore Michael; Micheli Andrea; Ventura Rodrigo, Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans, Proceedings of 28th International Symposium on Temporal Representation and Reasoning, vol. 206, 2021, pp. 15:1-15:15, DOI: 10.4230/lipics.time.2021.15, Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
  16. Micheli Andrea; Valentini Alessandro, Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning, Proceedings of Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI2021, Technical Tracks, vol. 35, n. 13, 2021, pp. 11895-11902, AAAI Press
  17. E. P. de Freitas, J. I. Olszewska, J. L. Carbonera, S. R. Fiorini, A. Khamis, S. V. Ragavan, M. Barreto, E. Prestes, M. K. Habib, S. Redfield, A. Chibani, P. Goncalves, J. Bermejo-Alonso, R. Sanz, E. Tosello, H. Li, A. Olivares-Alarco, Ontological concepts for information sharing in cloud robotics, Journal of Ambient Intelligence and Humanized Computing, vol. 14, 2020, pp. 4921-4932, DOI: https://doi.org/10.1007/s12652-020-02150-4
  18. L. Tagliapietra, E. Tosello, E. Menegatti, CURAMI: Human-Robot Collaboration for Intelligent Assembly Tasks, 2020
  19. G. Nicola, L. Tagliapietra, E. Tosello, N. Navarin, S. Ghidoni, E. Menegatti, Robotic Object Sorting via Deep Reinforcement Learning: a generalized approach, The 29th IEEE International Conference on Robot and Human Interactive Communication (IEEE ROMAN 2020); Proceedings of, 2020, pp. 1266-1273, DOI: 10.1109/RO-MAN47096.2020.9223484
  20. Valentini Alessandro; Micheli Andrea; Cimatti Alessandro, Temporal Planning with Intermediate Conditions and Effects, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), vol. 34, n. 6, 2020, AAAI Press
  21. Gigante Nicola; Micheli Andrea; Montanari Angelo; Scala Enrico, Decidability and Complexity of Action-Based Temporal Planning over Dense Time, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), 2020, DOI: 10.1609/aaai.v34i06.6539, AAAI Press
  22. Abate Alessandro; Cimatti Alessandro; Micheli Andrea; Mufid Muhammad Syifa’ul, Computation of the Transient in Max-Plus Linear Systems via SMT-Solving, Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings, vol. 12288, 2020, pp. 161-177, DOI: 10.1007/978-3-030-57628-8_10
  23. F. Ceola, E. Tosello, L. Tagliapietra, G. Nicola, S. Ghidoni, Robot Task Planning via Deep Reinforcement Learning: a Tabletop Object Sorting Application, 2019 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2019); Proceedings of, 2019, pp. 486-492, DOI: 10.1109/SMC.2019.8914278
  24. L. Fortunati, J. Höflich, A. M. Manganelli, E. Tosello, G. Ferrin, The uncanny theory under scrutiny, 10th Italian Forum Ambient Assisted Living (ForItAAL); Proceedings of, 2019
  25. A. Dalla Libera, E. Tosello, S. Ghidoni, G. Pillonetto, R. Carli, Proprioceptive Robot Collision Detection through Gaussian Process Regression, 2019 American Control Conference (ACC); Proceedings of, 2019, pp. 19-24, DOI: 10.23919/ACC.2019.8814361}
  26. Micheli Andrea; Scala Enrico, Temporal Planning with Temporal Metric Trajectory Constraints, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019, pp. 7675-7682, AAAI Press
  27. Cashmore Michael; Cimatti Alessandro; Magazzeni Daniele; Micheli Andrea; Zehtabi Parisa, Robustness Envelopes for Temporal Plans, Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), vol. 33, 2019, DOI: 10.1609/aaai.v33i01.33017538
  28. E. Tosello, N. Castaman, S. Michieletto E. Menegatti, Teaching Robot Programming for Industry 4.0, International Conference Educational Robotics 2018 (EduRobotics 2018); Proceedings of., 2018, pp. 107-119, ISSN: 978-3-030-18141-3
  29. N. Castaman, E. Tosello, E. Pagello, Conditional Task and Motion Planning through an Effort-based Approach, Simulation, Modeling, and Programming for Autonomous Robots. IEEE International Conference, SIMPAR 2018; Proceedings of, 2018, pp. 49-54, DOI: 10.1109/SIMPAR.2018.8376270}
  30. Cimatti Alessandro; Do Minh; Micheli Andrea; Roveri Marco; Smith David E., Strong temporal planning with uncontrollable durations, in «ARTIFICIAL INTELLIGENCE», vol. 256, 2018, pp. 1-34, DOI: 10.1016/j.artint.2017.11.006, ISSN: 0004-3702
  31. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017, pp. 3547-3554, AAAI Press
  32. Micheli Andrea, Disjunctive temporal networks with uncertainty via SMT: Recent results and directions, in «INTELLIGENZA ARTIFICIALE», vol. 11, n. 2, 2017, pp. 155-178, DOI: 10.3233/IA-170112, ISSN: 1724-8035
  33. S. Michieletto, E. Tosello, E. Pagello, E. Menegatti, Teaching humanoid robotics by means of human teleoperation through RGB-D sensors, Robotics and Autonomous Systems, vol. 75, n. B, 2016, pp. 671-678, DOI: https://doi.org/10.1016/j.robot.2015.09.023, ISSN: 0921-8890
  34. E. Tosello, Z. Fan, A. C. Gatto, E. Pagello, Cloud-Based Task Planning for Smart Robots, Intelligent Autonomous Systems 14: Proceedings of the 14th International Conference IAS-14, 2016, pp. 285-300, DOI: https://doi.org/10.1007/978-3-319-48036-7_21, ISSN: 978-3-319-48036-7
  35. N. Castaman, E. Tosello, E. Pagello, A sampling-based Tree Planner for Navigation Among Movable Obstacles, ISR 2016; 47th International Symposium on Robotics; Proceedings of, 2016, pp. -
  36. E. Tosello, S. Michieletto, E. Pagello, Training master students to program both virtual and real autonomous robots in a teaching laboratory, EDUCON 2016; IEEE Global Engineering Education Conference; Proceedings of, 2016, pp. 621-630, DOI: 10.1109/EDUCON.2016.7474615
  37. Bittner Benjamin; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Gario Marco Elio Gustavo; Griggio Alberto; Mattarei Cristian; Micheli Andrea; Zampedri Gianni, The xSAP Safety Analysis Platform, Tools and Algorithms for the Construction and Analysis of Systems, vol. 9636, 2016, pp. 533-539, DOI: 10.1007/978-3-662-49674-9_31, Springer Berlin Heidelberg
  38. Cimatti Alessandro; Hunsberger Luke; Micheli Andrea; Posenato Roberto; Roveri Marco, Dynamic controllability via Timed Game Automata, in «ACTA INFORMATICA», 2016, pp. 1-42, DOI: 10.1007/s00236-016-0257-2, ISSN: 0001-5903
  39. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies, Proceedings of the Thirtieth AAAI}Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, 2016, pp. 3116-3122
  40. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving strong controllability of temporal problems with uncertainty using SMT, in «CONSTRAINTS», vol. 20, 2015, pp. 7-29, DOI: 10.1007/s10601-014-9167-5, ISSN: 1383-7133
  41. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach, Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015, AAAI Press
  42. Bozzano Marco; Cimatti Alessandro; Gario Marco Elio Gustavo; Micheli Andrea, SMT-based Validation of Timed Failure Propagation Graphs, Proceedings of the 29th AAAI Conference on Artificial Intelligence, 2015, AAAI Press
  43. Cimatti Alessandro; Micheli Andrea; Roveri Marco, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty, in «ARTIFICIAL INTELLIGENCE», vol. 224, 2015, pp. 1-27, DOI: 10.1016/j.artint.2015.03.002, ISSN: 0004-3702
  44. Micheli Andrea; Do Minh; Smith David, Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 2015, pp. 1631-1637, AAAI Press
  45. Gario Marco Elio Gustavo; Micheli Andrea, PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms, Proceedings of the 13th International Workshop on Satisfiability Modulo Theories (SMT), 2015
  46. S. Michieletto, E. Tosello, F. Romanelli, V. Ferrara, and E. Menegatti, ROS-I Interface for COMAU Robots, Simulation, Modeling, and Programming for Autonomous Robots. 4th International Conference, SIMPAR 2014; Proceedings of, 2014, pp. 243-254, DOI: https://doi.org/10.1007/978-3-319-11900-7_21, ISSN: 978-3-319-11900-7
  47. N. Boscolo, E. Tosello, S. Tonello, M. Finotto, R. Bortoletto, and E. Menegatti, A Constraint Based Motion Optimization System for Quality Inspection Process Improvement, Simulation, Modeling, and Programming for Autonomous Robots. 4th International Conference, SIMPAR 2014; Proceedings of, 2014, pp. 545-553, DOI: https://doi.org/10.1007/978-3-319-11900-7_46, ISSN: 978-3-319-11900-7
  48. E. Tosello, S. Michieletto, A. Bisson, E. Pagello, and E. Menegatti, A Learning from Demonstration Framework for Manipulation Tasks, ISR/Robotik 2014; 45th International Symposium on Robotics; Proceedings of, 2014, pp. 1-7, ISSN: 978-3-8007-3601-0
  49. Cavada Roberto; Cimatti Alessandro; Dorigatti Michele; Griggio Alberto; Mariotti Alessandro; Micheli Andrea; Mover Sergio; Roveri Marco; Tonetta Stefano, The nuXmv Symbolic Model Checker, CAV, 2014, pp. 334-342
  50. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Roveri Marco, Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014, pp. 2242-2249, AAAI Press