Supervised theses

2027

  1. brownian-motion.gif
    A logic-based approach towards online monitoring of mobile robots performing inspection tasks
    Fatema Khan
    2027

2026

  1. Luca-Rubeni-2026.png
    An LLM-based task planning approach for robots performing inspection and construction tasks
    Luca Rubeni
    2026

2024

  1. brownian-motion.gif
    Design of an ontology for smart cities
    Yu-Tung Tsai
    2024

2023

  1. Shifa-Chang-2023.png
    Modeling and verification of autonomous robots deployed for structural health monitoring using RoboTool
    Shifa Chang
    2023
  2. Shashidhar-Cheeti-2024.jpg
    Development of a web-based model checker
    Shashidhar Cheeti
    2023

2022

  1. Juan-David-Londono-Salazar-2026.png
    Modeling and verification of wireless sensor networks for smart facades using UPPAAL
    Juan David Londoño Salazar
    2022