8 citations · 16 across the 8 of their papers we have counts for
4 papers · 1 filter
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci +1
We propose a framework for solving control synthesis problems for multi-agent networked systems required to satisfy spatio-temporal specifications. We use Spatio-Temporal Reach and…
Specifying User Preferences using Weighted Signal Temporal Logic
Noushin Mehdipour, Cristian-Ioan Vasile, Calin Belta
We extend Signal Temporal Logic (STL) to enable the specification of importance and priorities. The extension, called Weighted STL (wSTL), has the same qualitative (Boolean) semant…
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
Wenliang Liu, Noushin Mehdipour, Calin Belta
We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that is required to satisfy specifications give…
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci +1
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Lo…