Publications

  1. 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}
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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. -
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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, vol. 8810, 2014, pp. 545-553
  31. 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
  32. 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
  33. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  41. 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
  42. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  43. 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
  44. 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
  45. Roveri Marco; Cimatti Alessandro; Cavada Roberto; Tchaltsev Andrei; Micheli Andrea; Mariotti Alessandro; Mover Sergio; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala, NuSMV, 2002