Search by property
From MurrayWiki
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
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems + (knam20-iccps)
- Synthetic logic circuits using RNA aptamer against T7 RNA polymerase + (kqym14-biorxiv)
- System architectures and environment modeling for high-speed autonomous navigation + (lbc06-phd)
- A Motion Planner for Nonholonomic Robots + (ljtm94-tra)
- Hot-swapping robot task goals in reactive formal synthesis + (lm+14-cdc)
- Real-Time Trajectory Generation for the Cooperative Path Planning of Multi-Vehicle Systems + (lm02-cdc)
- Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints + (lm03-icra)
- Quantized Consensus via Adaptive Stochastic Gossip Algorithm + (lm09-cdc)
- On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof + (lm09a-acc)
- On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time + (lm09b-acc)
- Moving bounding boxes and incremental synthesis for dynamic obstacles + (lm14-icra)
- Variational Principles in Constrained Systems: Theory and Experiments + (lm94-cds)
- Equilibrium Controllability for a Class of Mechanical Systems + (lm95-cdc)
- Configuration Controllability of Simple Mechanical Control Systems + (lm95-cds)
- Decompositions for Control Systems on Manifolds with an Affine Connection + (lm96-scl)
- Stabilization of a Pitch Axis Flight Control Experiment with Input Rate Saturation + (lm97-gnc)
- Backtracking temporal logic synthesis for uncertain environments + (lmb12-icra)
- Nonholonomic Mechanics and Locomotion: The Snakeboard Example + (lomb94-icra)
- Synthesis of Switching Protocols from Temporal Logic Specifications + (lotm12-acc)
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications + (lotm12-tac)
