Search Results for author:
Found 3 papers, 0 papers with code
Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications
Central to our approach is a method for efficient and rejection-free sampling of signals from a Gaussian distribution such that satisfy or violate a given STL formula.
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
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.
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors
With the increasing ubiquity of multi-capable, general-purpose robots arises the need for enabling non-expert users to command these robots to perform complex high-level tasks.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
