Zobrazeno 1 - 10
of 69
pro vyhledávání: '"Abbas, Houssam"'
We present a new simulator of Uncrewed Aerial Vehicles (UAVs) that is tailored to the needs of testing cyber-physical security attacks and defenses. Recent investigations into UAV safety have unveiled various attack surfaces and some defense mechanis
Externí odkaz:
http://arxiv.org/abs/2410.03971
Autor:
Shea-Blymyer, Colin, Abbas, Houssam
When designing agents for operation in uncertain environments, designers need tools to automatically reason about what agents ought to do, how that conflicts with what is actually happening, and how a policy might be modified to remove the conflict.
Externí odkaz:
http://arxiv.org/abs/2408.00147
The widespread adoption of Large Language Models (LLMs), exemplified by OpenAI's ChatGPT, brings to the forefront the imperative to defend against adversarial threats on these models. These attacks, which manipulate an LLM's output by introducing mal
Externí odkaz:
http://arxiv.org/abs/2406.03230
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a network of agents, each of which measures (or computes) a continuous-t
Externí odkaz:
http://arxiv.org/abs/2308.02763
Autor:
Fronda, Nicole, Abbas, Houssam
We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly f
Externí odkaz:
http://arxiv.org/abs/2208.05440
Autor:
Shea-Blymyer, Colin, Abbas, Houssam
We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions and prohibitions are distinct from a system's mission, and are
Externí odkaz:
http://arxiv.org/abs/2105.02851
Autor:
Rodionova, Alëna, Pant, Yash Vardhan, Kurtz, Connor, Jang, Kuk, Abbas, Houssam, Mangharam, Rahul
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is gaining acceptance as a transportation solution of the future. One of
Externí odkaz:
http://arxiv.org/abs/2101.10404
Autor:
Basnet, Niraj, Abbas, Houssam
What is the frequency content of temporal logic formulas? That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic and should be preserved, and which can be safely discarded? This question is
Externí odkaz:
http://arxiv.org/abs/2009.08090
Autor:
Shea-Blymyer, Colin, Abbas, Houssam
We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and refrain from impermissible behavior (like recklessly changing lanes). T
Externí odkaz:
http://arxiv.org/abs/2009.00738
Autor:
Kurtz, Connor, Abbas, Houssam
We present a solution to the problem of fairly planning a fleet of Unmanned Aerial Vehicles (UAVs) that have different missions and operators, such that no one operator unfairly gets to finish its missions early at the expense of others - unless this
Externí odkaz:
http://arxiv.org/abs/2008.09297