Search Results for author:
Found 2 papers, 0 papers with code
Learning Spatio-Temporal Specifications for Dynamical Systems
In addition, given system requirements in the form of SVM-STL specifications, we provide an approach for parameter synthesis to find parameters that maximize the satisfaction of such specifications.
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
We propose a framework for solving control synthesis problems for multi-agent networked systems required to satisfy spatio-temporal specifications.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
