Publications

  1. 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
  2. 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
  3. 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}
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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}
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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. -
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  43. 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
  44. 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
  45. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Weak Controllability, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012, AAAI Press
  46. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Solving Temporal Problems using SMT: Strong Controllability, Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming, 2012
  47. Tonello S.; Zanetti G. P.; Finotto M.; Bortoletto R.; Tosello E.; Menegatti E., WorkCellSimulator: A 3D simulator for intelligent manufacturing, Simulation, Modeling, and Programming for Autonomous Robots, Third International Conference, SIMPAR 2012, Proceedings, vol. 7628 LNAI, 2012, pp. 311-322, DOI: 10.1007/978-3-642-34327-8_29
  48. Cavada Roberto; Cimatti Alessandro; Micheli Andrea; Roveri Marco; Susi Angelo; Tonetta Stefano, OthelloPlay: a plug-in based tool for requirement formalization and validation, Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011, pp. 59-59
  49. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  50. Cimatti Alessandro; Micheli Andrea; Narasamdya Iman; Roveri Marco, Verifying SystemC: a Software Model Checking Approach, Proceedings of the 10th Int. Conference on Formal Methods in Computer-Aided Design, 2010, pp. 51-60