Melani, B., Bartocci, E., & Chiari, M. (2025). A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. ACM Transactions on Embedded Computing Systems, 24(5s), 1–26. https://doi.org/10.1145/3759917 ( reposiTUm)

Pontiggia, F., Macák, F., Andriushchenko, R., Michele Chiari, & Češka, M. (2025). Decentralized Planning Using Probabilistic Hyperproperties. In S. Das, A. Nowé, & Y. Vorobeychik (Eds.), AAMAS ’25 : Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (pp. 1688–1697). International Foundation for Autonomous Agents and Multiagent Systems. https://doi.org/10.34726/10423 ( reposiTUm)