We propose a framework to solve falsification problems of conditional safety properties—
specifications such that “a safety property φ _ safe holds whenever an antecedent condition …

The spatial distribution of sensed objects strongly influences the behavior of mobile robots.
Yet, as robots evolve in complexity to operate in increasingly rich environments, it becomes …

Falsification is drawing attention in quality assurance of heterogeneous systems whose
complexities are beyond most verification techniques' scalability. In this paper we introduce …

This paper uses active learning to solve the problem of mining signal temporal requirements
of cyber-physical systems or simply the requirement mining problem. By utilizing robustness …

The notion of the safety of a system when placed in an environment with humans and other
machines has been one of the primary concerns of practitioners while deploying any cyber …

Reconfigurable robots are a family of robots that are capable of adjusting their shapes and
functions to changing environments and tasks [1, 2, 3, 4, 5, 6]. They are posed to meet the …