In this paper, we propose a novel approach that aims to offer an alterna...
Dynamic slicing techniques compute program dependencies to find all
stat...
Directed Controller Synthesis technique finds solutions for the non-bloc...
A controller for a Discrete Event System must achieve its goals despite ...