Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Symbolic construction of GR(1) contracts for systems with full information  +
• Reactive Synthesis from Signal Temporal Logic Specifications  +
• Cross-entropy Temporal Logic Motion Planning  +
• A Contract-Based Methodology for Aircraft Electric Power System Design  +
• Synthesis of Control Protocols for Autonomous Systems  +
• Model Predictive Control for Signal Temporal Logic Specifications  +
• Layering assume-guarantee contracts for hierarchical system design  +
• Contracts of Reactivity  +
• Counter-example Guided Learning of Bounds on Environment Behavior  +
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  +
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  +
• Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications  +
• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  +
• Limits of probabilistic safety guarantees when considering human uncertainty  +
• Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems  +
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  +
• Efficient local validation of partially ordered models via Baysian directed sampling  +
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  +
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  +