Search Results for author: Ron Weiss

Found 2 papers, 1 papers with code

Learning Spatio-Temporal Specifications for Dynamical Systems

no code implementations20 Dec 2021 Suhail Alsalehi, Erfan Aasi, Ron Weiss, Calin Belta

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.

Formal Logic

Cannot find the paper you are looking for? You can Submit a new open access paper.