Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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}
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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. -
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  47. 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
  48. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  49. E. Tosello, N. Castaman, E. Menegatti, Using robotics to train students for Industry 4.0, International Federation of Automatic Control Advances in Control Education Symposium (IFAC-ACE); Proceedings of., 2019, pp. 2405-8963, DOI: https://doi.org/10.1016/j.ifacol.2019.08.185
  50. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool, Proceedings of 24th Int. Conference Automated Software Engineering, 2009, pp. 665-667, DOI: 10.1109/ASE.2009.49