Satisfying both safety and reachability requirements in dynamic adversarial environments is
very challenging, particularly when little or no information about the dynamics and intentions …

In this paper, a time-driven performance-aware mathematical model for trust in the robot is
proposed for a Human-Robot Collaboration (HRC) framework. The proposed trust model is …

This paper addresses the dynamic adversarial reach-avoid problem in which the attacker
aims at visiting a fixed target while avoiding the other vehicle (defender), which is trying to …

This paper develops a symbolic technique for the control and path planning of autonomous
vehicles in adversarial environments. We consider the objective of the autonomous vehicle …

This paper develops a modular framework for cooperative tasking for multi-agent systems.
The paper focuses on logical behaviors of multi-agent systems that can be represented by …

This paper presents an automaton-based task and motion planning framework for multi-
robot systems (MRS) to satisfy finite words of linear temporal logic (LTL) task specifications …

Symbolic planning techniques rely on abstract information about a continuous system to
design a discrete planner to satisfy desired high‐level objectives. However, applying the …

Multi-robot systems (MRS) can accomplish more complex tasks with two or more robots and
have produced a broad set of applications. The presence of a human operator in an MRS …

Vision-based lane detection is one of the fundamental components of autonomous vehicle
technology. It provides the vehicle's local position information as well as the immediate …

A multi-robot platform can offer more functionality when robots with different sets of
capabilities can complement each other to carry out cooperative missions. This thesis …