research
∙
11/09/2022
Dynamic Slicing by On-demand Re-execution
In this paper, we propose a novel approach that aims to offer an alterna...
share
research
∙
11/08/2022
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model
Dynamic slicing techniques compute program dependencies to find all stat...
research
∙
10/07/2022
Scaling Directed Controller Synthesis via Reinforcement Learning
Directed Controller Synthesis technique finds solutions for the non-bloc...
research
∙
07/21/2021
Assured Mission Adaptation of UAVs
The design of systems that can change their behaviour to account for sce...
research
∙
09/11/2020
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
A controller for a Discrete Event System must achieve its goals despite ...
research
∙
01/21/2020