Publications

2018

  • Reachability Analysis for Neural Agent-Environment Systems

    Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR18)
    Michael Akintunde, Alessio Lomuscio, Lalit Maganti, Edoardo Pirovano
    Abstract PDF

  • Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems

    Proceedings of the 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI18)
    Panagiotis Kouvaros, Alessio Lomuscio, Edoardo Pirovano
    Abstract PDF

  • Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems

    Proceedings of the 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI18)
    Alessio Lomuscio, Edoardo Pirovano
    Abstract PDF Poster Talk

2017

  • Applications of Reinforcement Learning to Medical Image Segmentation

    Master's Thesis, University of Oxford
    Edoardo Pirovano, Irina Voiculescu
    Abstract PDF

Talks & Posters

2017

Teaching

2017-18

This year I am a teaching assistant for the following courses:

Please feel free to contact me if you have any questions about any of these courses.

Contact

  • e.pir..@ic.ac.uk
  • @edoardo on Keybase.
  • edoardo.pirovano
  • Room 554, Department of Computing, Imperial College London
    180 Queen's Gate, London, SW7 2AZ
  • email for appointment