Search Results for author:
Found 3 papers, 2 papers with code
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We use the method in simulation to synthesise controllers for mobile-robot collision mitigation and for maintaining driver attentiveness in shared-control autonomous driving.
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
In this work, we propose a goal-oriented assurance process that supports taming different sources (within different classes) of uncertainty from defining the goals at design time to performing self-adaptation at runtime.
Software Engineering
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
Despite all the efforts on assurances for self-adaptive systems at design or runtime, there is still a gap on verifying and validating real-time constraints accounting for context variability.
Software Engineering
