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
- Temporal Logic Specifications for Control System Design in Automotive Systems +
- VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems +
- VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems +
- Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping +
- Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping +
- Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors +
- Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors +
- Synthesizing flight software (FSW) discrete controllers from formal specifications +
- Synthesizing flight software (FSW) discrete controllers from formal specifications +
- Synthesizing flight software (FSW) discrete controllers from formal specifications +
- Synthesizing flight software (FSW) discrete controllers from formal specifications +
- Safety-Critical Autonomy and Verification for Space Missions +
- Safety-Critical Autonomy and Verification for Space Missions +
- A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior +
- Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress +
- Genetic Circuits for Multi-Cellular Machines +
- Genetic Circuits for Multi-Cellular Machines +
- Genetic Circuits for Multi-Cellular Machines +
- Genetic Circuits for Multi-Cellular Machines +
- Field-Programmable, Recombinase-Based Biomolecular Circuits +