6 citations · 21 across the 13 of their papers we have counts for
13 papers
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
Attribution-based Explanations for Markov Decision Processes
Paul Kobialka, Andrea Pferscher, Francesco Leofante +3
Attribution techniques explain the outcome of an AI model by assigning a numerical score to its inputs. So far, these techniques have mainly focused on attributing importance to st…
Automata Learning versus Process Mining: The Case for User Journeys
Paul Kobialka, Andrea Pferscher, Bernhard K. Aichernig +2
With the servitization of business, understanding how users experience services becomes a crucial success factor for companies. Therefore, there is a need to include feedback from…
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…
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani +2
Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often m…
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Gianluca Turin, Andrea Borgarelli, Simone Donetti +3
Cloud computing has radically changed the way organisations operate their software by allowing them to achieve high availability of services at affordable cost. Containerized micro…
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol +5
Once deployed in the real world, autonomous underwater vehicles (AUVs) are out of reach for human supervision yet need to take decisions to adapt to unstable and unpredictable envi…
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…
LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio +3
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent…
Modeling Deployment Decisions for Elastic Services with ABS
Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa
The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources…