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

• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (A. Agha-mohammadi)

• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams  + (P. Nilsson)
• Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents  + (A. Censi and R. M. Murray)
• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations  + (S. Haesaert)
• Equilibrium Controllability for a Class of Mechanical Systems  + (A. D. Lewis, R. M. Murray)
• Nonholonomic Mechanical Systems with Symmetry  + (A. M. Bloch, P. S. Krishnaprasad, J. E. Marsden, R. M. Murray)
• Nonholonomic Mechanical Systems and Symmetry  + (A. M. Bloch, P. S. Krishnaprasad, J. E. Marsden, R. M. Murray)
• On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3  + (A. Vaisha)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (Inigo Incer)
• Constrained risk-averse Markov decision processes  + (Mohamadreza Ahmadi)
• Risk-Averse Decision Making Under Uncertainty  + (Mohamadreza Ahmadi)
• Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions  + (Prithvi Akella)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (Ludvig Doeser)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (Filip Klaesson)
• Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows  + (Apurva Badithela)
• Time-Optimal Navigation in Uncertain Environments with High-Level Specifications  + (Ugo Rosolia)
• Reactive motion planning with probabilistic safety guarantees  + (Yuxiao Chen)
• Risk-Averse Planning Under Uncertainty  + (Mohamadreza Ahmadi)
• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications  + (Prithvi Akella)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (Josefine B. Graebener)
• Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints  + (Filip Klaesson)
• The Effect of Compositional Context on Synthetic Gene Networks  + (Enoch Yeung)
• Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks  + (Enoch Yeung)
• Assessment of Robustness to Temperature in a Negative Feedback Loop and a Feedforward Loop  + (Abhilash Patel)
• A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems  + (Abhishek Tiwari, Jimmy Fung, John Carson, Raktim Bhattacharya, Richard M. Murray)
• Polyhedral Cone Invariance Applied to Rendezvous of Multiple Agents  + (Abhishek Tiwari, Jimmy Fung, Raktim Bhattacharya, Richard M. Murray)
• The Dynamic Sensor Coverage Problem  + (Abhishek Tiwari, Myungsoo Jun, David E. Jeffcoat, Richard M. Murray)
• Design and application of stationary phase combinatorial promoters  + (Victoria Hsiao)
• Context-Aided Variable Elimination for Requirement Engineering  + (Inigo Incer)
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  + (Inigo Incer)
• From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology  + (Ayush Pandey)
• Model Predictive Control for Signal Temporal Logic Specifications  + (Vasumathi Raman)
• Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems  + (Alex Fax and Richard Murray)
• Optimal Control of Affine Connection Control Systems: A Variational Approach  + (Alex Fax and Richard Murray)
• Robust Estimation Framework with Semantic Measurements  + (Karena X. Cai)
• Estimation over Communication Networks: Performance Bounds and Achievability Results  + (Amir F. Dana, Vijay Gupta, Joao P. Hespanha, Babak Hassibi, Richard M. Murray)
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  + (Victoria Hsiao)
• Population regulation in microbial consortia using dual feedback control  + (Xinying Ren)
• Single day construction of multi-gene circuits with 3G assembly  + (Andrew D Halleran)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (Anandh Swaminathan)
• Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology  + (Anandh Swaminathan)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (Anandh Swaminathan)
• Linear System Identifiability from Distributional and Time Series Data  + (Anandh Swaminathan and Richard M. Murray)
• Quantifying Resource Competition and its Effects in the TX-TL System  + (Andras Gyorgy and Richard M. Murray)
• A group-theoretic approach to formalizing bootstrapping problems  + (Andrea Censi and Richard M. Murray)
• Bootstrapping bilinear models of simple vehicles  + (Andrea Censi and Richard M. Murray)
• Learning diffeomorphism models of robotic sensorimotor cascades  + (Andrea Censi and Richard M. Murray)
• Motion planning in observations space with learned diffeomorphism models  + (Andrea Censi, Adam Nilsson and Richard M. Murray)
• Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades  + (Andrea Censi, Magnus HÃ¥kansson and Richard M. Murray)
• Bootstrapping bilinear models of robotic sensorimotor cascades  + (Andrea Censi, Richard M Murray)