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

• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  + (10.1109/TRO.2023.3247951)

• Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates  + (10.1111/1751-7915.13764)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (10.21105/joss.05057)
• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications  + (10.48550/arXiv.2301.09622)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (10.48550/arXiv.2402.11666)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (10.48550/arXiv.2404.09888)
• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (https://doi.org/10.1101/614529)