Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

1 code implementation • 31 Jul 2020 • Karen Leung, Nikos Aréchiga, Marco Pavone

This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs.

Automatic Testing With Reusable Adversarial Agents

no code implementations • 30 Oct 2019 • Xin Qin, Nikos Aréchiga, Andrew Best, Jyotirmoy Deshmukh

We propose an interactive multi-agent framework where the system-under-design is modeled as an ego agent and its environment is modeled by a number of adversarial (ado) agents.

Self-Driving Cars