activity
20242026
most citedSemantically Reflected Programs

2 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

5 papers · 1 filter

cs.RO2025

Behavior Trees and State Machines in Robotics Applications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen +2

Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordinatio…

cs.AI2025

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…

cs.AI2025

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…

cs.AI2025

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…

cs.LG2025

Symbolic State Partitioning for Reinforcement Learning

Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen +1

Tabular reinforcement learning methods cannot operate directly on continuous state spaces. One solution for this problem is to partition the state space. A good partitioning enable…