Search Results for author:
Found 9 papers, 3 papers with code
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments.
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities.
Safe Environmental Envelopes of Discrete Systems
This paper proposes a notion of \emph{robustness} as an explicit, first-class property of a transition system that captures how robust it is against possible \emph{deviations} in the environment.
On tolerance of discrete systems with respect to transition perturbations
In this paper, we propose an approach for analyzing control systems with respect to their tolerance against environmental perturbations.
Feature Interactions on Steroids: On the Composition of ML Models
The lack of specifications is a key difference between traditional software engineering and machine learning.
Runtime-Safety-Guided Policy Repair
The key idea behind our approach is the formulation of a trajectory optimization problem that allows the joint reasoning of policy update and safety constraints.
Teaching Software Engineering for AI-Enabled Systems
Software engineers have significant expertise to offer when building intelligent systems, drawing on decades of experience and methods for building systems that are scalable, responsive and robust, even when built on unreliable components.
Reliable Smart Road Signs
Recently, vision-based road sign classification algorithms have been shown to be vulnerable against (even) small scale adversarial interventions that are imperceptible for humans.
Automated Synthesis of Secure Platform Mappings
In this paper, we introduce the problem of synthesizing a property-preserving platform mapping: A set of implementation decisions ensuring that a desired property is preserved from a high-level design into a low-level platform implementation.
Software Engineering
