Berducci, L., Aguilar, E. A., Ničković, D., & Grosu, R. (2025). HPRS: hierarchical potential-based reward shaping from task specifications. Frontiers in Robotics and AI, 11, 1–23. https://doi.org/10.3389/frobt.2024.1444188 ( reposiTUm)

Brunnbauer, A., Berducci, L., Priller, P., Ničković, D., & Grosu, R. (2025). Scenario-Based Curriculum Generation for Multi-Agent Driving. In 2025 IEEE International Conference on Robotics and Automation (ICRA) (pp. 1824–1830). IEEE. https://doi.org/10.1109/ICRA55743.2025.11128162 ( reposiTUm)

He, J., Nickovic, D., Bartocci, E., & Grosu, R. (2023). TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. In 2023 60th ACM/IEEE Design Automation Conference (DAC) (pp. 1–6). IEEE. https://doi.org/10.1109/DAC56929.2023.10247685 ( reposiTUm)

Berducci, L., & Grosu, R. (2022). Safe Policy Improvement in Constrained Markov Decision Processes. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA 2022), Proceedings, Part I (pp. 360–381). Springer. https://doi.org/10.1007/978-3-031-19849-6_21 ( reposiTUm)