1. Dynamic routing of energy-aware vehicles with Temporal Logic Constraints
2. Temporal-Logic-Constrained Hybrid Reinforcement Learning to Perform Optimal Aerial Monitoring with Delivery Drones
3. Duncan Paul Attard , Luca Aceto , Antonis Achilleos , Adrian Francalanza , Anna Ingólfsdóttir , and Karoliina Lehtinen . 2021 . Better late than never or: verifying asynchronous components at runtime. In Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference , FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14--18, 2021, Proceedings. Springer, 207--225 . Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, and Karoliina Lehtinen. 2021. Better late than never or: verifying asynchronous components at runtime. In Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14--18, 2021, Proceedings. Springer, 207--225.
4. Monitoring mobile and spatially distributed cyber-physical systems
5. Monitoring of temporal first-order properties with aggregations