Search by property
From Murray Wiki
Jump to navigationJump to search
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
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + (2016 IEEE Conference on Control Applications (CCA))
- Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + (2016 IEEE Symposium on Computational Intelligence in Control and Automation)
- Stochastic Gene Expression in Single Gene Oscillator Variants + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
- The role of single occupancy effects on integrase dynamics in a cell-free system + (2016 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference (17 May 2016))
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (2017 Conference on Decision and Control (CDC))
- Enhancing tolerance to unexpected jumps in GR(1) games + (2017 Int'l Conference on Cyberphysical Systems (ICCPS))
- Learning-Based Abstractions for Nonlinear Constraint Solving + (2017 International Joint Conference on Artificial Intelligence (IJCAI))
- Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology + (2017 Synthetic Biology: Engineering, Evolution, and Design (SEED) Conference)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (2017 Winter q-bio Conference)
- Single day construction of multi-gene circuits with 3G assembly + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (2018 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
- Length and time scales of cell-cell signaling circuits in agar + (2018 Winter q-bio)
- Control of bacterial population density with population feedback and molecular sequestration + (2018 Winter q-bio)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (2018 Winter q-bio)
- Counter-example Guided Learning of Bounds on Environment Behavior + (2019 Conference on Robot Learning (CoRL))
- Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + (2019 International Symposium on Robotics Research (ISRR))
- An automated model reduction tool to guide the design and analysis of synthetic biological circuits + (2019 International Workshop on Biodesign Automation (IWBDA))
- Proof of concept continuous event logging in living cells + (2019 Synthetic Biology: Engineering, Evolution and Design (SEED) Conference)
- Design of a genetic layered feedback controller in synthetic biological circuitry + (2019 Synthetic Biology: Engineerinng, Evolution and Design (SEED) Conference)
- Invariant Sets for Integrators and Quadrotor Obstacle Avoidance + (2020 American Control Conference (ACC))
- Risk-Averse Planning Under Uncertainty + (2020 American Control Conference (ACC))
- Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data + (2020 American Control Conference (ACC))
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems + (2020 International Conference on Cyberphysical Systems (ICCPS))