Students

• Anna Bernasconi
  Master thesis: ``Building deductive proofs of LTL properties for iteratively refined systems"
  Published in SEFM 2017:
  ``From model checking to a temporal proof for partial models"
• Gabriele Belli
  Master thesis: ``Path planning of collaborative robots dealing with real maps and explicit time concerns"
  Published in FormaliSE 2020:
  Mind the gap: Robotic Mission Planning Meets Software Engineering
• Matteo Soldo
  Master thesis: ``User-Friendly controller synthesis for multi-agent robotic applications in presence of agents with unknown with unknown behavior"
  Published in Formal Aspects of Computing 2020:
  PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers