Search by property
From MurrayWiki
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
- System-level studies of a cell-free transcription-translation platform for metabolic engineering + (4 September 2017 05:37:33)
- A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response + (4 September 2017 14:47:53)
- File:Duncan bozenna.jpg + (25 September 2017 02:53:29)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (25 September 2017 03:10:08)
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System + (25 September 2017 03:13:30)
- Bozenna Pasik-Duncan, Sep 2017 + (27 September 2017 03:59:20)
- File:Karan Kalsi.jpg + (28 September 2017 16:28:03)
- Karan Kalsi, Oct 2017 + (3 October 2017 21:54:58)
- Programmable Molecular Technology Initiative + (7 October 2017 05:07:05)
- UTRC visit, 12 Oct 2017 + (11 October 2017 22:13:09)
- WASP visit, 16-17 Oct 2017 + (12 October 2017 05:26:20)
- Mary Dunlop, Oct 2017 + (20 October 2017 13:46:54)
- Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems + (29 October 2017 14:29:49)
- Analysis and design of a synthetic transcriptional network for exact adaptation + (29 October 2017 14:30:30)
- Quantifying Crosstalk in Biochemical Systems + (29 October 2017 14:30:39)
- Feedback architectures to regulate flux of components in artificial gene networks + (29 October 2017 14:30:48)
- File:Jpl-pdf17.png + (11 November 2017 21:24:00)
- File:Ncs-hierarchical.png + (12 November 2017 18:16:05)
- Group Schedule, Fall 2017 + (4 December 2017 06:34:49)
- UG meetings, Fall 2017 + (5 December 2017 14:04:08)
- SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention + (8 December 2017 17:26:23)
- File:AVP.png + (8 December 2017 20:21:24)
- File:AVP contracts.png + (8 December 2017 20:21:58)
- SURF 2018: Resource Usage in TX-TL + (11 December 2017 22:00:20)
- CS 142, Fall 2017 + (13 December 2017 18:12:30)
- File:ASS DNAPEN.jpg + (14 December 2017 02:01:51)
- SURF 2018: Integrase-based genetic circuits + (14 December 2017 02:02:59)
- SURF 2018: Evolutionary Stability of Genetic Circuits + (15 December 2017 21:54:58)
- SURF 2017: Synthetic modules for control of bacterial growth + (16 December 2017 00:14:25)
- SURF 2018: Synthetic modules for regulation of bacterial growth + (16 December 2017 00:15:10)
- SURF 2018: Test design for temporal logic controllers + (16 December 2017 07:06:57)
- File:PARADOX.jpg + (16 December 2017 22:35:40)
- SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling + (16 December 2017 22:50:16)
- SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia + (18 December 2017 15:58:04)
- SURF 2018: Contract-based Design of Control Systems + (19 December 2017 07:00:13)
- Synthesizing flight software (FSW) discrete controllers from formal specifications + (22 December 2017 06:39:31)
- Model-guided Discovery and Optimization of Cell-based Sensors + (22 December 2017 06:39:47)
- The TerraSwarm Research Center + (22 December 2017 06:40:02)
- File:Icb-microbial.png + (1 January 2018 17:35:39)
- SURF 2018 + (3 January 2018 19:45:10)
- SURF discussions, Jan 2018 + (24 January 2018 08:01:32)
- EECI 2013: Automata Theory + (25 January 2018 01:15:50)
- Distributed Mission and Contingency Management for the DARPA Urban Challenge + (29 January 2018 06:57:31)
- UG meetings, Winter 2018 + (23 February 2018 00:09:24)
- Thoughts on publishing + (23 February 2018 01:13:59)
- John McManus, 5 Mar 2018 + (3 March 2018 21:37:15)
- Group Schedule, Winter 2018 + (6 March 2018 05:29:00)
- Emzo de los Santos, 12 Mar 2018 + (8 March 2018 05:18:10)
- Chelsea Hu, Apr 2018 + (9 April 2018 19:53:17)
- Ben Richards, 20 Apr 2018 + (17 April 2018 15:35:58)
- Stochastic systems courses + (2 May 2018 17:26:50)
- Siva Seetharaman, 10 May 2018 + (9 May 2018 20:12:52)
- CDS 110, Spring 2018 + (19 May 2018 23:05:42)
- UG meetings, Spring 2018 + (5 June 2018 17:33:28)
- Control of bacterial population density with population feedback and molecular sequestration + (19 June 2018 04:54:08)
- Modeling Dynamic Transcriptional Circuits with CRISPRi + (19 June 2018 05:04:54)
- Single day construction of multi-gene circuits with 3G assembly + (19 June 2018 05:10:34)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (19 June 2018 05:12:26)
- Voluntary lane-change policy synthesis with reactive control improvisation + (19 June 2018 05:25:18)
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts + (19 June 2018 05:31:09)
- Length and time scales of cell-cell signaling circuits in agar + (14 July 2018 13:59:02)
- On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 + (15 July 2018 05:46:37)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (15 July 2018 05:56:57)
- Andrew Halleran + (3 August 2018 12:07:19)
- Ania Baetica + (3 August 2018 12:10:16)
- Anandh Swaminathan + (3 August 2018 12:11:26)
- Chelsea Hu + (3 August 2018 12:12:22)
- Wenlong Xu, 14 Aug 2018 + (12 August 2018 06:49:43)
- File:Murray-14Dec16.jpg + (8 September 2018 17:26:57)
- RMM photos + (8 September 2018 17:28:18)
- Group Schedule, Spring 2018 + (8 September 2018 18:16:39)
- Group Schedule, Summer 2018 + (10 September 2018 20:45:43)
- Small comments on papers + (21 September 2018 01:19:18)
- Daniel Fremont, Sep 2018 + (21 September 2018 21:00:11)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (26 September 2018 13:46:29)
- Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability + (26 September 2018 13:46:45)
- A modal interface contract theory for guarded input/output automata with an application in traffic system design + (8 October 2018 05:46:14)
- Risk-aware motion planning for automated vehicle among human-driven cars + (8 October 2018 05:49:28)
- File:Buildacell.png + (8 October 2018 05:56:49)
- User:Admin + (8 October 2018 05:57:11)
- Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards + (23 October 2018 00:16:31)
- Group Schedule, Fall 2018 + (27 November 2018 07:51:45)
- File:Triple int.png + (28 November 2018 00:08:58)
- File:Double int.png + (28 November 2018 00:09:10)
- File:N integrator.png + (28 November 2018 00:19:45)
- SURF 2019: Geometry of Control-Invariant Sets + (28 November 2018 03:40:16)
- Paul Van den Hof, Dec 2018 + (7 December 2018 06:47:11)
- File:3-node Message Routing figure.png + (10 December 2018 18:33:08)
- File:Message Routing Schematic.png + (10 December 2018 18:58:14)
- SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation + (10 December 2018 23:12:23)
- UG meetings, Fall 2018 + (11 December 2018 01:23:38)
- CDS 131, Fall 2018 + (11 December 2018 15:28:18)
- SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions + (12 December 2018 01:15:39)
- File:ADH evo stability.png + (12 December 2018 03:02:29)
- SURF 2019: Evolutionary Stability of Genetic Circuits + (12 December 2018 03:18:51)
- File:Aicb19-fieldprogrammable.png + (25 December 2018 22:27:01)
- File:Arl19-cellfree.png + (25 December 2018 22:47:08)
- File:Arl19-hybrid.png + (25 December 2018 22:57:35)
- File:Arl19-zebrafish.png + (25 December 2018 23:08:35)
- SURF 2019 + (26 December 2018 05:02:19)
- SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring + (26 December 2018 05:07:37)
- File:Thor-setup.png + (26 December 2018 05:08:47)
- Robust Estimation Framework with Semantic Measurements + (27 December 2018 05:12:36)
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks + (27 December 2018 05:18:35)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation + (27 December 2018 05:21:34)
- Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits + (27 December 2018 05:30:38)
- Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia + (27 December 2018 05:33:33)
- Role of interaction network topology in controlling microbial population in consortia + (27 December 2018 05:39:02)
- Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems + (27 December 2018 05:42:27)
- Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors + (27 December 2018 05:55:05)
- File:Darpa-biocon.png + (27 December 2018 05:56:49)
- Yong Wu + (2 January 2019 05:10:52)
- ICB Microbial, ICB Network19 + (2 January 2019 05:12:02)
- Alex White + (2 January 2019 05:17:48)
- Anu Thubagere + (2 January 2019 05:18:06)
- Vipul Singhal + (2 January 2019 05:18:33)
- Andrey Shur + (2 January 2019 05:19:12)
- Sean Sanchez + (2 January 2019 05:20:51)
- Mark Prator + (2 January 2019 05:22:54)
- Andrew Montequin + (2 January 2019 05:25:00)
- Sofie Haesaert + (2 January 2019 05:25:39)
- Shaobin Guo + (2 January 2019 05:26:02)
- Leopold Green + (2 January 2019 05:26:43)
- Ioannis Filippidis + (2 January 2019 05:27:30)
- Jonathan Feldstein + (2 January 2019 05:27:52)
- Jin Ge + (2 January 2019 05:30:15)
- Joe Meyerowitz + (2 January 2019 05:32:33)
- Lani Kim + (2 January 2019 05:44:09)
- Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping + (13 January 2019 22:56:38)
- Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks + (13 January 2019 22:57:01)
- SURF 2019: Synthetic modules for regulation of bacterial growth + (15 January 2019 00:19:52)
- Timing molecular motion and production with a synthetic transcriptional clock + (19 January 2019 16:05:51)
- User:Admin/Papers + (19 January 2019 16:11:11)
- Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor + (19 January 2019 16:15:08)
- Design Guidelines For Sequestration Feedback Networks + (26 January 2019 15:47:53)
- Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks + (26 January 2019 15:54:27)
- Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks + (26 January 2019 15:54:42)
- Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli + (26 January 2019 15:54:55)
- Rapid cell-free forward engineering of novel genetic ring oscillators + (26 January 2019 15:55:15)
- Sara Molinari, 29 Jan 2019 + (30 January 2019 00:17:21)
- Ather Gattami, Feb 2019 + (19 February 2019 18:58:23)
- Elahe Aghapour, Feb 2019 + (19 February 2019 21:09:03)
- Group Schedule, Winter 2019 + (11 March 2019 16:42:16)
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing + (29 March 2019 20:05:02)
- Biographical Sketch + (27 April 2019 02:17:31)
- Kristin Rozier, May 2019 + (17 May 2019 16:08:15)
- File:Nsf19-cellfree.png + (21 May 2019 04:22:55)
- File:Arl20-elm.png + (21 May 2019 04:39:26)
- UG meetings, Spring 2019 + (6 June 2019 05:59:33)
- Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology + (8 June 2019 20:14:14)
- Layering assume-guarantee contracts for hierarchical system design + (8 June 2019 20:15:24)
- Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape + (9 June 2019 23:41:28)
- Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation + (9 June 2019 23:47:25)
- Proof of concept continuous event logging in living cells + (9 June 2019 23:49:07)
- Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits + (9 June 2019 23:50:50)
- Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli + (9 June 2019 23:53:06)
- Control of density and composition in an engineered two-member bacterial community + (10 June 2019 00:03:42)
- Design of a genetic layered feedback controller in synthetic biological circuitry + (10 June 2019 00:09:38)
- Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design + (10 June 2019 00:11:27)
- Contracts of Reactivity + (10 June 2019 00:21:14)
- File:Assured-autonomy.png + (10 June 2019 04:20:45)
- File:Afosr-testandeval.png + (10 June 2019 04:29:43)
- Group Schedule, Spring 2019 + (10 June 2019 16:09:38)
- An automated model reduction tool to guide the design and analysis of synthetic biological circuits + (17 June 2019 00:13:37)
- Analysis of primitive genetic interactions for the design of a genetic signal differentiator + (17 June 2019 00:13:46)
- Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways + (1 July 2019 20:32:34)
- Molecular Programming Architectures, Abstractions, Algorithms, and Applications + (1 July 2019 20:33:43)
- Stanley Bak, 8 July 2019 + (8 July 2019 13:50:59)
- Towards Assume-Guarantee Profiles for Autonomous Vehicles + (1 August 2019 16:22:34)
- Expanded bio + (10 August 2019 00:20:47)
- Synthetic biology future applications and technology needs + (27 August 2019 00:41:08)
- Visitors + (30 August 2019 04:55:52)
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks + (3 September 2019 16:32:03)
- Group Schedule, Summer 2019 + (7 September 2019 18:17:23)
- Samuel Clamons + (18 September 2019 14:57:08)
- A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior + (18 September 2019 14:58:24)
- Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress + (18 September 2019 15:00:30)
- Safety-Critical Autonomy and Verification for Space Missions + (18 September 2019 15:03:04)
- Admin/Group members + (18 September 2019 15:05:46)
- Karena Cai + (18 September 2019 15:06:08)
- William Poole + (18 September 2019 15:06:38)
- Michaelle Mayalu + (18 September 2019 15:07:17)
- John McManus + (18 September 2019 15:08:46)
- Josefine Graebener + (18 September 2019 15:12:52)
- Tung Phan + (18 September 2019 15:13:30)
- Apurva Badithela + (18 September 2019 15:14:25)
- Jake Beal, 1 Oct 2019 + (30 September 2019 23:04:48)
- Thomas Mohren, 2 Oct 2019 + (2 October 2019 18:19:03)
- File:Caltech-freeways.jpg + (3 October 2019 21:15:38)
- File:Caltech-streets.jpg + (3 October 2019 21:16:06)
- File:Campus-map.png + (3 October 2019 21:18:54)
- Caltech directions + (3 October 2019 21:21:48)
- Mike Biercuk, 7 Oct 2019 + (7 October 2019 21:02:47)
- Sandeep Chichali, 16 Oct 2019 + (16 October 2019 01:37:34)
- Authorship + (21 October 2019 23:57:40)
- Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping + (6 November 2019 16:13:25)
- Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology + (6 November 2019 16:13:38)
- Enabling Technologies for Cell-Silicon Interfacing + (6 November 2019 16:13:53)
- Theory-Based Engineering of Biomolecular Circuits in Living Cells + (6 November 2019 16:14:55)
- Formal Methods for V&V and T&E of Autonomous Systems + (6 November 2019 16:16:43)
- CMS 273, Winter 2019 + (19 November 2019 17:40:13)
- Group Schedule, Fall 2019 + (3 December 2019 03:09:52)
- File:Slide.png + (3 December 2019 19:14:47)
- CS 142, Fall 2019 + (5 December 2019 17:01:59)
- File:Architecture auton sys.png + (8 December 2019 20:16:01)
- James Parkin + (8 December 2019 20:27:36)
- AFOSR + (8 December 2019 20:44:06)
- Eric Wolff, 11 Dec 2019 + (10 December 2019 21:16:37)
- File:Gridworld sys env.png + (10 December 2019 23:07:46)
- File:SynBioModelingPipeline.jpg + (11 December 2019 06:08:36)
- SURF 2020: Test and Evaluation for Autonomy + (15 December 2019 21:32:51)
- SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars + (15 December 2019 21:41:47)
- SURF 2020: Social-Aware Robot Navigation + (15 December 2019 21:51:09)
- File:2020 SURF fig.png + (16 December 2019 18:25:09)
- File:SURF 2020 wahl murray.png + (16 December 2019 18:27:16)
- File:CYHSURF2020.png + (17 December 2019 05:25:41)
- SURF 2020: System identification of bacterial gene expression as a function of population dynamics + (17 December 2019 05:26:00)
- CDS 131, Fall 2019 + (18 December 2019 07:20:48)
- SURF 2020: Applications of synthetic differentiation + (22 December 2019 22:07:38)
- SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System + (30 December 2019 18:08:56)
- SURF 2020 + (12 January 2020 22:22:53)
- SURF discussions, Jan 2019 + (20 January 2020 19:01:26)
- SURF GOTChA chart + (22 January 2020 00:04:55)
- SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines + (23 January 2020 15:24:48)
- SURF discussions, Jan 2020 + (23 January 2020 22:26:05)
- Liren Yang, 5-6 Feb 2020 + (6 February 2020 04:48:02)
- Sarah Dean, 11-12 Feb 2020 + (11 February 2020 00:06:55)
- David Garcia, 13 Feb 2020 + (13 February 2020 19:43:53)
- UG meetings, Dec 2019 + (22 February 2020 15:15:28)
- EECI 2020: Discrete Abstractions + (29 February 2020 17:02:20)
- EECI 2020: Rulebooks + (29 February 2020 17:31:11)
- EECI 2020: Course Introduction + (1 March 2020 21:56:28)
- EECI 2020: Automata Theory + (1 March 2020 22:10:56)
- EECI 2020: Temporal Logic + (1 March 2020 22:19:30)
- EECI 2020: Reactive Synthesis + (1 March 2020 22:38:25)
- EECI 2020: Model Checking + (10 March 2020 07:56:30)
- EECI 2020: Probabilistic Systems + (10 March 2020 07:57:46)
- EECI 2020: Computer Session: Stormpy + (10 March 2020 08:00:30)
- Group Schedule, Winter 2020 + (12 March 2020 05:55:16)
- EECI 2020: Minimum Violation Planning + (13 March 2020 05:12:55)
- EECI 2020: Behavior Specifications + (13 March 2020 07:26:33)
- EECI 2020: Computer Session: MVP + (13 March 2020 07:36:24)
- EECI 2020: Safety-Critical Systems + (13 March 2020 07:37:58)
- EECI 2020: Course Summary + (13 March 2020 07:39:19)
- EECI 2020: Computer Session: TuLiP + (18 March 2020 18:50:57)
- Courses + (22 March 2020 21:00:52)
- File:W1 setup-31Mar2020.pdf + (2 April 2020 16:32:57)
- EECI-IGSC 2020 + (8 April 2020 13:15:47)
- E/SEC 103, Spring 2020 + (19 April 2020 23:18:45)
- Temporal Logic Specifications for Control System Design in Automotive Systems + (22 April 2020 16:48:30)
- Counter-example Guided Learning of Bounds on Environment Behavior + (26 May 2020 05:25:43)
- Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits + (26 May 2020 05:30:31)
- Ayush Pandey + (26 May 2020 05:32:17)
- Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli + (26 May 2020 05:35:06)
- Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations + (26 May 2020 05:40:30)
- Invariant Sets for Integrators and Quadrotor Obstacle Avoidance + (26 May 2020 05:51:51)
- Risk-Averse Planning Under Uncertainty + (26 May 2020 05:57:43)
- A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology + (26 May 2020 15:56:37)
- A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression + (26 May 2020 20:48:33)
- Networked Feedback Systems in Biology + (26 May 2020 21:23:07)
- Characterization of Insect Flight Control Systems + (26 May 2020 21:23:20)
- Biomolecular Feedback Circuits for Modular, Robust and Rapid Response + (26 May 2020 21:23:33)
- Biomolecular Circuits for Rapid Detection and Response to Environmental Events + (26 May 2020 21:23:48)
- Field-Programmable, Recombinase-Based Biomolecular Circuits + (26 May 2020 21:24:26)
- Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials + (26 May 2020 21:24:55)
- BE 240, Spring 2020 + (28 May 2020 14:50:01)
- Group Schedule, Spring 2020 + (8 June 2020 14:09:59)
- SBtools Bootcamp, June 2020 + (14 June 2020 02:44:01)
- Zoila Jurado + (21 June 2020 16:59:18)
- www.cds.caltech.edu/~murray/schedule.html + (28 June 2020 17:19:50)
- File:RSI-soil syn bio.png + (20 July 2020 05:03:38)
- Elin Larsson + (20 July 2020 05:05:15)
- John Marken + (20 July 2020 05:07:05)
- An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil + (26 July 2020 06:00:26)
- David Garcia + (29 July 2020 20:56:24)
- Undergraduate alumni + (30 July 2020 23:31:56)
- File:Rosen20-simplecell.png + (8 August 2020 23:53:15)
- Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function + (8 August 2020 23:53:38)
- Rory Williams + (8 August 2020 23:54:29)
- Genetic Circuits for Multi-Cellular Machines + (8 August 2020 23:56:21)
- File:Cellsys-actuation.png + (9 August 2020 00:10:03)
- Actuation of Synthetic Cells Via Proto-Flagellar Motors + (9 August 2020 00:11:15)
- Manisha Kapasiawala + (9 August 2020 00:12:19)
- Assurance for Learning Enabled Systems + (10 August 2020 17:36:46)
- Chuchu Fan + (10 August 2020 17:37:39)
- Sumanth Dathathri + (10 August 2020 17:39:20)
- Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions + (10 August 2020 17:56:46)
- Bio + (22 August 2020 04:39:41)
- Geoffroy Le Courtois Du Manoir + (23 August 2020 05:29:00)
- Property:Current position + (23 August 2020 05:30:22)
- Synthetic Cell, Summer 2020 + (26 August 2020 15:36:42)
- SURF alumni + (29 August 2020 05:15:27)
- Schedule + (1 September 2020 14:14:58)
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems + (12 September 2020 12:27:19)
- Group Schedule, Summer 2020 + (20 September 2020 17:17:12)
- GOTChA Chart + (25 September 2020 15:43:30)
- Research Overview + (5 October 2020 04:46:35)
- CMS 273, Winter 2020 + (15 November 2020 16:24:48)
- VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems + (22 November 2020 00:31:18)
- BE 107, Spring 2019 + (23 November 2020 21:58:39)
- File:Heilmeier-isat.png + (25 November 2020 17:34:20)
- Heilmeier Catechism + (25 November 2020 17:37:18)
- Modeling and control of the effects of bilateral asymmetries in insect flight + (3 December 2020 15:43:28)
- CDS 131, Fall 2020 + (7 December 2020 00:16:44)
- Group Schedule, Fall 2020 + (7 December 2020 15:56:39)
- Group Schedule, Winter 2021 + (21 December 2020 00:57:19)
- SURF 2021: Modeling tools for design and analysis of synthetic biological circuits + (22 December 2020 04:19:26)
- Main Page + (22 December 2020 16:48:32)
- CMS 273, Winter 2021 + (26 December 2020 05:56:42)
- File:Experiment prop.png + (4 January 2021 12:25:29)
- SURF 2021: Test Design for Extremely Resilient System + (4 January 2021 12:33:22)
- File:ATPase Protoflagellum.png + (6 January 2021 08:32:54)
- SURF 2021 + (6 January 2021 16:58:09)
- SURF 2021: Optimizing cell extract for a proto-flagellar system + (6 January 2021 17:00:05)
- File:Synthetic-cell.png + (7 January 2021 17:54:58)
- SURF 2021: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines + (7 January 2021 17:56:17)