Before joining Imperial, I was a PhD student with the Theory of Hybrid Systems group at RWTH Aachen University and with the AIMS Laboratory at the University of Genoa. During that time, I worked on AI planning via Optimization Modulo Theories.
You might want to check out my personal web page to get a better picture of what I’ve done professionally so far.
et al., 2019, Improving Reliability of Myocontrol Using Formal Verification, Ieee Transactions on Neural Systems and Rehabilitation Engineering, Vol:27, ISSN:1534-4320, Pages:564-571
et al., 2019, Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information Systems Frontiers, Vol:21, ISSN:1387-3326, Pages:87-107
et al., 2019, SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE), SPRINGER INTERNATIONAL PUBLISHING AG, Pages:674-686, ISSN:0302-9743
et al., 2019, Engineering Controllers for Swarm Robotics via Reachability Analysis in Hybrid Systems, 33rd International European Council for Modelling and Simulation Conference on Modelling and Simulation, ECMS 2019, EUROPEAN COUNCIL MODELLING & SIMULATION, Pages:407-413, ISSN:2522-2414
et al., 2019, Verification and Repair of Neural Networks: A Progress Report on Convolutional Models, Pages:405-417, ISSN:0302-9743