Property:URL

From Murray Wiki
Jump to navigationJump to search
"URL" is a type and predefined property provided by Semantic MediaWiki to represent URI/URL values. This property is pre-deployed (also known as special property) and comes with additional administrative privileges but can be used just like any other user-defined property.

This is a property of type URL.

previous 202050100250500next 20
Showing 20 pages using this property.
R
Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions +
https://arxiv.org/abs/2201.05758?context=cs.SY  +
T
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems +
https://arxiv.org/abs/2204.02541  +
B
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications +
https://arxiv.org/abs/2301.09622  +
P
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design +
https://arxiv.org/abs/2303.17751  +
S
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks +
https://arxiv.org/abs/2402.11666  +
F
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications +
https://arxiv.org/abs/2404.09888  +
T
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications +
https://arxiv.org/pdf/2103.01476  +
L
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
https://arxiv.org/pdf/2105.07343  +
S
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems +
https://arxiv.org/pdf/2108.05911  +
C
Context-Aided Variable Elimination for Requirement Engineering +
https://arxiv.org/pdf/2305.17596.pdf  +
L
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data +
https://authors.library.caltech.edu/100568/1/1912.04527.pdf  +
E
Engineering Logical Inflammation Sensing Circuit for Modulating Gut Conditions +
https://authors.library.caltech.edu/106610/1/2020.11.10.377085v1.full.pdf  +
A
Alex Johnson +
https://da-johnson.github.io  +
S
Sumanth Dathathri +
https://dathath.github.io  +
D
David Garcia +
https://david-c-garcia.github.io/  +
Dianne Newman +
https://dknweb.caltech.edu  +
R
Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks +
https://doi.org/10.1098/rsif.2017.0157  +
J
John Doyle +
https://doyle.caltech.edu  +
A
Ania Baetica +
https://drexel.edu/engineering/about/faculty-staff/B/baetica-ania/  +
L
Leopold Green +
https://engineering.purdue.edu/Engr/People/ptProfile?resource id=256061  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:URL&oldid=20098"