Azzopardi, S., Di Stefano, L., Piterman, N., & Schneider, G. (2025). Full LTL Synthesis over Infinite-State Arenas. In R. Piskac & Z. Rakamaric (Eds.), Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV (pp. 274–297). Springer. https://doi.org/10.1007/978-3-031-98685-7_13 ( reposiTUm)

Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., & Piterman, N. (2024). Attributed Point-to-Point Communication in R-CHECK. In Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems (pp. 333–350). Springer. https://doi.org/10.1007/978-3-031-75107-3_20 ( reposiTUm)

Di Stefano, L., & Inverso, O. (2024). Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. In Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (pp. 253–270). https://doi.org/10.1007/978-3-031-73709-1_16 ( reposiTUm)