6 citations · 21 across the 13 of their papers we have counts for
4 papers · 1 filter
A Type System for Data Privacy Compliance in Active Object Languages
Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa +1
Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering informatio…
Counterfactual Strategies for Markov Decision Processes
Paul Kobialka, Lina Gerlach, Francesco Leofante +3
Counterfactuals are widely used in AI to explain how minimal changes to a model's input can lead to a different output. However, established methods for computing counterfactuals t…
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Riccardo Sieve, Paul Kobialka, Laura Slaughter +3
Digital twins are emerging as a valuable tool for short-term decision-making as well as for long-term strategic planning across numerous domains, including process industry, energy…
ROSA: A Knowledge-based Solution for Robot Self-Adaptation
Gustavo Rezende Silva, Juliane Päßler, S. Lizeth Tapia Tarifa +2
Autonomous robots must operate in diverse environments and handle multiple tasks despite uncertainties. This creates challenges in designing software architectures and task decisio…