no code implementations • 16 Aug 2021 • Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
For a given black-box, our approach yields a set of Pareto-optimal interpretations with respect to the correctness and explainability measures.
1 code implementation • 21 Aug 2020 • Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
We present an implementation of SOTER, a run-time assurance framework for building safe distributed mobile robotic (DMR) systems, on top of the Robot Operating System (ROS).
no code implementations • 3 Jan 2019 • Hadas Kress-Gazit, Hazem Torfah
In this paper we discuss the challenges in writing specifications for reactive systems and give a survey on what tools have been developed to guide users in specifying reactive systems and understanding the outcome of synthesis tools.
no code implementations • 25 Mar 2018 • Bernd Finkbeiner, Hazem Torfah
This information is represented in the form of a labeled transition system, which we call skeleton.