Maderbacher, B., Schupp, S. A., Bartocci, E., Bloem, R., Nickovic, D., & Könighofer, B. (2025). An Adaptive, Provable Correct Simplex Architecture. International Journal on Software Tools for Technology Transfer, 1–19. https://doi.org/10.1007/s10009-025-00779-0 ( reposiTUm)

Bonte, P., Calbimonte, J.-P., de Leng, D., Dell’Aglio, D., Valle, E. D., Eiter, T., Giannini, F., Heintz, F., Kostyantyn Shchekotykhin, Le Phuoc, D., Mileo, A., Schneider, P., Tommasini, R., Urbani, J., & Ziffer, G. (2024). Grounding stream reasoning research. Transactions on Graph Data and Knowledge, 2(1). https://doi.org/10.4230/TGDK.2.1.2 ( reposiTUm)

Lopez-Miguel, I. D. (2024). Student Research Abstract: Enhancing Safety in Cyber-Physical Systems Through Runtime Enforcement. In SAC ’24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (pp. 1614–1616). https://doi.org/10.1145/3605098.3635171 ( reposiTUm)

Stankovic, M., & Bartocci, E. (2024). Probabilistic Loop Synthesis from Sequences of Moments. In J. Hillston, S. Soudjani, & M. Waga (Eds.), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (pp. 233–248). https://doi.org/10.1007/978-3-031-68416-6_14 ( reposiTUm)

Ciabattoni, A., Eisenhofer, C., & Rozplokhas, D. (2024). Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 284–294). https://doi.org/10.24963/kr.2024/27 ( reposiTUm)

Qu, M., He, J., Tucakovic, Z., Bartocci, E., Nickovic, D., Isakovic, H., & Grosu, R. (2024). DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. In DAC ’24: Proceedings of the 61st ACM/IEEE Design Automation Conference (pp. 1–6). https://doi.org/10.1145/3649329.3658250 ( reposiTUm)

Muskardin, E., Tappler, M., Pill, I., Aichernig, B., & Pock, T. (2024). On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. In Findings of the Association for Computational Linguistics ACL 2024 (pp. 5641–5658). https://doi.org/10.18653/v1/2024.findings-acl.335 ( reposiTUm)

Pranger, S., Chockler, H., Tappler, M., & Könighofer, B. (2024). Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning. In A. Globerson, L. Mackey, & D. Belgrave (Eds.), Advances in Neural Information Processing Systems 37 (NeurIPS 2024). http://hdl.handle.net/20.500.12708/213273 ( reposiTUm)

Ciabattoni, A., & Rozplokhas, D. (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). In K. Larson (Ed.), Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence (pp. 8389–8393). https://doi.org/10.24963/ijcai.2024/928 ( reposiTUm)

Athavale, A., Bartocci, E., Christakis, M., Maffei, M., Ničković, D., & Weissenbacher, G. (2024). Verifying Global Two-Safety Properties in Neural Networks with Confidence. In A. Gurfinkel & V. Ganesh (Eds.), Computer Aided Verification (pp. 329–351). Springer. https://doi.org/10.1007/978-3-031-65630-9_17 ( reposiTUm)

Visconti, E., Bartocci, E., Falcone, Y., & Nenzi, L. (2024). Adaptable Configuration of Decentralized Monitors. In V. Castiglioni & A. Francalanza (Eds.), Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2024 (pp. 197–217). Springer. https://doi.org/10.1007/978-3-031-62645-6_11 ( reposiTUm)

Ciabattoni, A., & Rozplokhas, D. (2023). Streamlining Input/Output Logics with Sequent Calculi. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 146–155). IJCAI Organization. https://doi.org/10.24963/kr.2023/15 ( reposiTUm)

Soldà, D., López Miguel, I. D., Bartocci, E., & Eiter, T. (2023). Progression for Monitoring in Temporal ASP. In K. Gal, A. Nowé, G. J. Nalepa, R. Fairstein, & R. Rădulescu (Eds.), ECAI 2023 : 26th European Conference on Artificial Intelligence. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 2170–2177). Frontiers. https://doi.org/10.3233/FAIA230513 ( reposiTUm)

Ciabattoni, A., Eiter, T., & Hatschka, C. (2023). Deontic Paradoxes in ASP with Weak Constraints. In Proceedings 39th International Conference on Logic Programming (pp. 367–380). ( reposiTUm)

Cabalar, P., Ciabattoni, A., & van der Torre, L. (2023). Deontic Equilibrium Logic with eXplicit Negation. In S. A. Gaggl, M. V. Martinez, & M. Ortiz (Eds.), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (pp. 498–514). Springer. https://doi.org/10.1007/978-3-031-43619-2_34 ( reposiTUm)

Ciabattoni, A. (2023, May 16). Normative reasoning: From Sanskrit philosophy to AI [Conference Presentation]. Workshop on Reasoning about Responsible Agency in AI, Amsterdam, Netherlands (the). http://hdl.handle.net/20.500.12708/177540 ( reposiTUm)

Dik, J. F. (2023, October 30). Exploring preferenced permissions: From Sanskrit Philosophy to AI [Presentation]. Workshop Normative Reasoning 2023, Leuven, Belgium. ( reposiTUm)