Property:Tag

From Murray Wiki
Revision as of 17:22, 14 May 2016 by Murray (talk | contribs) (Created page with "Has type::Text")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Text

previous 202050100250500next 20
Showing 20 pages using this property.
F
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
AAMA20-cdc  +
B
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications +
AAMA23-TAC  +
R
Robustness Guarantees for Structured Model Reduction of Dynamical Systems +
AP21-CDC  +
A
A 65nm CMOS Living-Cell Dynamic Fluorescence Sensor with 1.05fA Sensitivity at 600/700nm Wavelengths +
Agh+23-ISSCC  +
R
Risk-Averse Decision Making Under Uncertainty +
Ahm+21-AAAI  +
L
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data +
BAM20-acc  +
M
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications +
BGM22-rss_workshop  +
S
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems +
BM21-nfm  +
E
Evaluation Metrics for Object Detection for Autonomous Systems +
BMW23-ICRA  +
L
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
BWM21-cdc  +
S
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
Bad+23-ICRA  +
M
Modeling predicts that CRISPR-based activators, unlike CRISPR-based repressors, scale well with increasing gRNA competition and dCas9 bottlenecking +
CM19-biorxiv  +
L
Limits of probabilistic safety guarantees when considering human uncertainty +
CMB21-cdc  +
R
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles +
CPCM21-tro  +
M
Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates +
Col+21-microbio  +
R
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions +
DM22-CDC  +
P
Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints +
FK+20-icaps  +
T
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems +
GBM22-NFM  +
B
Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design +
GHRM19-qbio  +
F
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture +
Gra+21:CDC  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Tag&oldid=19448"