Property:URL

From Murray Wiki
Jump to navigationJump to search

This is a property of type URL.

previous 202050100250500next 20
Showing 20 pages using this property.
A
A robust model predictive control algorithm augmented with a reactive safety mode +
http://www.sciencedirect.com/science/article/pii/S0005109813001143  +
E
Eduardo Sontag +
http://www.sontaglab.org  +
A
Alberto Sangiovanni-Vincentelli +
http://www2.eecs.berkeley.edu/Faculty/Homepages/sangiovanni-vicentelli.html  +
Apurva Badithela +
https://abadithela.github.io  +
R
Risk-Averse Planning Under Uncertainty +
https://arxiv.org/abs/1909.12499  +
F
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
https://arxiv.org/abs/2004.04227  +
R
Reactive motion planning with probabilistic safety guarantees +
https://arxiv.org/abs/2011.03590  +
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles +
https://arxiv.org/abs/2011.14148  +
F
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture +
https://arxiv.org/abs/2103.12919  +
R
Risk-Averse Decision Making Under Uncertainty +
https://arxiv.org/abs/2109.04082  +
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  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:URL&oldid=20098"