Semantic search
From Murray Wiki
Jump to navigationJump to search
- Invariant Sets for Integrators and Quadrotor Obstacle Avoidance (Authors: Ludvig Doeser, Petter Nilsson, Aaron D. Ames, and Richard M. Murray, Source: 2020 American Control Conference (ACC))
- Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems (Authors: Filip Klaesson, Petter Nilsson, Aaron D. Ames, Richard M. Murray, Source: 2020 International Conference on Cyberphysical Systems (ICCPS))
- Counter-example Guided Learning of Bounds on Environment Behavior (Authors: Yuxiao Chen, Sumanth Dathathri, Tung Phan-Minh, Richard M. Murray, Source: 2019 Conference on Robot Learning (CoRL))
- Contracts of Reactivity (Authors: Tung Phan-Minh and Richard M. Murray, Source: Submitted, Int'l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019)
- Layering assume-guarantee contracts for hierarchical system design (Authors: Ioannis Filippidis and Richard M. Murray, Source: Proceedings of the IEEE, 2018)
- Model Predictive Control for Signal Temporal Logic Specifications (Authors: Vasumathi Raman, Alexandre Donze ́, Mehdi Maasoumy, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia, Source: Submitted, IEEE T. Automatic Control (2 Jan 2016))
- Symbolic construction of GR(1) contracts for systems with full information (Authors: Ioannis Filippidis and Richard M. Murray, Source: 2016 American Control Conference (ACC))
- Cross-entropy Temporal Logic Motion Planning (Authors: Scott C. Livingston, Eric M. Wolff, Richard M. Murray, Source: Submitted, 2015 International Conference on Hybrid Systems: Computation and Control (HSCC))
