Property:Authors

From Murray Wiki
Jump to navigationJump to search
(Created a property of type Has type::Text)
No edit summary
Tag: Reverted
Line 1: Line 1:
This is a property of type [[Has type::Text]].
This is a property of type [[Has type::Page]].

Revision as of 17:31, 9 October 2022

This is a property of type Page.

previous 202050100250500next 20
Showing 20 pages using this property.
T
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations +
S. Haesaert  +, P. Nilsson  +, C. I. Vasile  +, …
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams +
P. Nilsson  +, S. Haesaert  +, C. Vasile  +, …
U
Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents +
A. Censi and R. M. Murray  +
E
Equilibrium Controllability for a Class of Mechanical Systems +
A. D. Lewis, R. M. Murray  +
N
Nonholonomic Mechanical Systems with Symmetry +
A. M. Bloch, P. S. Krishnaprasad, J. E. Marsden, R. M. Murray  +
Nonholonomic Mechanical Systems and Symmetry +
A. M. Bloch, P. S. Krishnaprasad, J. E. Marsden, R. M. Murray  +
O
On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3 +
A. Vaisha  +, S. Guo  +, R. M.Murray  +, …
S
Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks +
Inigo Incer  +, Noel Csomay-Shanklin  +, Aaron Ames  +, …
C
Constrained risk-averse Markov decision processes +
Mohamadreza Ahmadi  +, Ugo Rosolia  +, Michel D Ingham  +, …
R
Risk-Averse Decision Making Under Uncertainty +
Mohamadreza Ahmadi  +, Ugo Rosolia  +, Michel D. Ingham  +, …
F
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
Prithvi Akella  +, Mohamadreza Ahmadi  +, Richard M. Murray  +, …
I
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance +
Ludvig Doeser  +, Petter Nilsson  +, Aaron D. Ames  +, …
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems +
Filip Klaesson  +, Petter Nilsson  +, Aaron D. Ames  +, …
S
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows +
Apurva Badithela  +, Josefine B. Graebener  +, Wyatt Ubellacker  +, …
T
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications +
Ugo Rosolia  +, Mohamadreza Ahmadi  +, Richard M. Murray  +, …
R
Reactive motion planning with probabilistic safety guarantees +
Yuxiao Chen  +, Ugo Rosolia  +, Chuchu Fan  +, …
Risk-Averse Planning Under Uncertainty +
Mohamadreza Ahmadi  +, Masahiro Ono  +, Michel D. Ingham  +, …
B
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications +
Prithvi Akella  +, Mohamadreza Ahmadi  +, Richard M. Murray  +, …
F
Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications +
Josefine B. Graebener  +, Apurva S. Badithela  +, Denizalp Goktas  +, …
P
Planning and Optimization for Multi-Robot Planetary Cave Exploration under Intermittent Connectivity Constraints +
Filip Klaesson  +, Petter Nilsson  +, Tiago Stegun Vaquero  +, …
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Authors&oldid=24924"