Search Results for author:
Found 4 papers, 1 papers with code
Lipschitz Continuity of Signal Temporal Logic Robustness Measures: Synthesizing Control Barrier Functions from One Expert Demonstration
By filtering control inputs to maintain the positivity of this function, we ensure that the system trajectory satisfies the desired STL specification.
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
We present a framework for merging unit tests for autonomous systems.
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
We an algorithm, based on network flows, for synthesizing a test graph by restricting transitions, represented by edge deletions, on the original graph induced by the Kripke structures.
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
In many autonomy applications, performance of perception algorithms is important for effective planning and control.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
