Publications

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. Cimatti Alessandro; Micheli Andrea; Roveri Marco, Timelines with Temporal Uncertainty, AAAI, 2013, pp. 195-201, David Leake
  7. 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
  8. 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
  9. 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
  10. 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
  11. Cimatti Alessandro; Griggio Alberto; Micheli Andrea; Iman Narasamdya; Roveri Marco, Kratos - A Software Model Checker for SystemC, 2011
  12. 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
  13. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  14. 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
  15. 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
  16. 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