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)

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)

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)

Wallner, F., Aichernig, B., Lorber, F., & Tappler, M. (2025). Mutating Skeletons: Learning Timed Automata via Domain Knowledge. In 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp. 67–77). https://doi.org/10.1109/ICSTW64639.2025.10962513 ( reposiTUm)

Pontiggia, F., Bartocci, E., & Chiari, M. (2025). POPACheck: A Model Checker for Probabilistic Pushdown Automata. In R. Piskac & Z. Rakamaric (Eds.), Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II (pp. 105–121). Springer. https://doi.org/10.1007/978-3-031-98679-6_5 ( reposiTUm)

Tappler, M., Lopez-Miguel, I. D., Tschiatschek, S., & Bartocci, E. (2025). Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 6254–6262). https://doi.org/10.24963/ijcai.2025/696 ( reposiTUm)

Lopez-Miguel, I. D., Adam, S. P., Bartocci, E., Eiter, T., & Tappler, M. (2025). OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. In ECAI 2025 : 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy : Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (pp. 3315–3322). https://doi.org/10.3233/FAIA251200 ( reposiTUm)

Adam, S., & Eiter, T. (2025). ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning. In Association for the Advancement of Artificial Intelligence (AAAI) (Ed.), Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (pp. 14772–14780). AAAI Press. https://doi.org/10.1609/aaai.v39i14.33619 ( 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)

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)

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. (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)

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)

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)

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)

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)

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)