Publications

  1. 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
  2. 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
  3. 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
  4. Tosello E.; Castaman N.; Michieletto S.; Menegatti E., Teaching Robot Programming for Industry 4.0, Educational Robotics in the Context of the Maker Movement, vol. 946 AISC, 2020, pp. 107-119, DOI: 10.1007/978-3-030-18141-3_9
  5. Pignaton de Freitas Edison; Olszewska Joanna Isabelle; Carbonera Joel Luís; Fiorini Sandro R.; Khamis Alaa; Ragavan S. Veera; Barreto Marcos E.; Prestes Edson; Habib Maki K.; Redfield Signe; Chibani Abdelghani; Goncalves Paulo; Bermejo-Alonso Julita; Sanz Ricardo; Tosello Elisa; Olivares-Alarcos Alberto; Konzen Andrea Aparecida; Quintas João; Li Howard, Ontological concepts for information sharing in cloud robotics, in «JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING», vol. 14, n. 5, 2020, pp. 4921-4932, DOI: 10.1007/s12652-020-02150-4, ISSN: 1868-5137
  6. Nicola Giorgio; Tagliapietra Luca; Tosello Elisa; Navarin Nicolo; Ghidoni Stefano; Menegatti Emanuele, Robotic Object Sorting via Deep Reinforcement Learning: a generalized approach, Proceedings of 29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020, 2020, pp. 1266-1273, DOI: 10.1109/ro-man47096.2020.9223484
  7. 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
  8. 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
  9. 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}
  10. 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
  11. 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
  12. Ceola F.; Tosello E.; Tagliapietra L.; Nicola G.; Ghidoni S., Robot task planning via deep reinforcement learning: A tabletop object sorting application, Proceedings of IEEE International Conference on Systems, Man and Cybernetics, vol. 2019-October, 2019, pp. 486-492, DOI: 10.1109/SMC.2019.8914278
  13. Dalla Libera A.; Tosello E.; Pillonetto G.; Ghidoni S.; Carli R., Proprioceptive robot collision detection through Gaussian process regression, Proceedings of 2019 American Control Conference, 2019, pp. 19-24
  14. Tosello E.; Castaman N.; Menegatti E., Using robotics to train students for Industry 4.0, 12th IFAC Symposium on Advances in Control Education ACE 2019, vol. 52, n. 9, 2019, pp. 153-158, DOI: 10.1016/j.ifacol.2019.08.185
  15. 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
  16. 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}
  17. 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
  18. Castaman N.; Tosello E.; Pagello E., Conditional task and motion planning through an effort-based approach, Proceedings of 2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), 2018, pp. 49-54, DOI: 10.1109/SIMPAR.2018.8376270
  19. 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
  20. 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
  21. Tosello E.; Fan Z.; Castro A. G.; Pagello E., Cloud-based task planning for smart robots, Intelligent Autonomous Systems 14, vol. 531, 2017, pp. 285-300, DOI: 10.1007/978-3-319-48036-7_21
  22. 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
  23. 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
  24. 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. -
  25. 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
  26. 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
  27. 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
  28. 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
  29. Tosello E.; Michieletto S.; Pagello E., Training master students to program both virtual and real autonomous robots in a teaching laboratory, 2016 IEEE Global Engineering Education Conference, EDUCON, vol. 10-13-April-2016, 2016, pp. 621-630, DOI: 10.1109/EDUCON.2016.7474615
  30. Castaman N.; Tosello E.; Pagello E., A sampling-based tree planner for navigation among movable obstacles, Proceedings of ISR 2016: 47st International Symposium on Robotics, 2016, pp. 292-299
  31. Michieletto S.; Tosello E.; Pagello E.; Menegatti E., Teaching humanoid robotics by means of human teleoperation through RGB-D sensors, in «ROBOTICS AND AUTONOMOUS SYSTEMS», vol. 75, 2016, pp. 671-678, DOI: 10.1016/j.robot.2015.09.023, ISSN: 0921-8890
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. Cimatti Alessandro; Hunsberger L.; Micheli Andrea; Posenato R; Roveri Marco, Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation, Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014, pp. 27-36, DOI: 10.1109/TIME.2014.21, IEEE
  44. Tosello E.; Michieletto S.; Bisson A.; Pagello E.; Menegatti E., A learning from demonstration framework for manipulation tasks, ISR/Robotik 2014; 41st International Symposium on Robotics; Proceedings of, 2014, pp. 114-120
  45. Boscolo N.; Tosello E.; Tonello S.; Finotto M.; Bortoletto R.; Menegatti E., A constraint based motion optimization system for quality inspection process improvement, Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2014), vol. 8810, 2014, pp. 545-553
  46. Michieletto Stefano; Tosello Elisa; Romanelli Fabrizio; Ferrara Valentina; Menegatti Emanuele, ROS-I Interface for COMAU Robots, Simulation, Modeling, and Programming for Autonomous Robots, 4th International Conference, SIMPAR 2014, Proceedings, 2014, pp. 243-254, DOI: 10.1007/978-3-319-11900-7_21
  47. D. Kurabayashi, Y.Takahashi, R. Minegishi, E. Tosello, E. Pagello, R. Kanzaki, Property Investigation of Chemical Plume Tracing Algorithm in an Insect Using Biomachine Hybrid System, Living Machines, 2013, pp. 131-142, DOI: https://doi.org/10.1007/978-3-642-39802-5_12, ISSN: 978-3-642-39802-5
  48. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  49. Kurabayashi D.; Takahashi Y.; Minegishi R.; Tosello E.; Pagello E.; Kanzaki R., Property investigation of chemical plume tracing algorithm in an insect using bio-machine hybrid system, Biomimetic and Biohybrid Systems Second International Conference, Living Machines 2013, Proceedings, vol. 8064 LNAI, 2013, pp. 131-142, DOI: 10.1007/978-3-642-39802-5-12
  50. S. Tonello, G. P. Zanetti, M. Finotto, R. Bortoletto, E. Tosello, E. Menegatti, WorkCell-Simulator: A 3D Simulator for Intelligent Manufacturing, Simulation, Modeling, and Programming for Autonomous Robots, 2012, pp. 311-322, DOI: https://doi.org/10.1007/978-3-642-34327-8_29, ISSN: 978-3-642-34327-8