Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Workshop on the Algorithmic Foundations of Robotics (14. : 2020 : Oulu) Algorithmic foundations of robotics XIV
1. Verfasser:	Leung, Karen (VerfasserIn)
Weitere Verfasser:	Arechiga, Nikos (VerfasserIn), Pavone, Marco (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Evasive Navigation of an Autonomous Mobile Robot in Hostile Unknown Environments	2021	Veksler, Yaron
Neural Collision Clearance Estimator for Batched Motion Planning	2021	Kew, J. Chase
Linear-Time Variational Integrators in Maximal Coordinates	2021	Brüdigam, Jan
Information Requirements of Collision-Based Micromanipulation	2021	Nilles, Alexandra Q.
Imitation Learning as f-Divergence Minimization	2021	Ke, Liyiming
On Rearrangement of Items Stored in Stacks	2021	Szegedy, Mario
Scalable Low-Rank Semidefinite Programming for Certifiably Correct Machine Perception	2021	Rosen, David M.
Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations	2021	Knuth, Craig
Cover Combinatorial Filters and Their Minimization Problem	2021	Zhang, Yulin
Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency	2021	Afshani, Peyman
Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods	2021	Leung, Karen
Hybrid Control for Learning Motor Skills	2021	Abraham, Ian
Approximation Algorithms for the Single Robot Line Coverage Problem	2021	Agarwal, Saurav
Visualizing Local Minima in Multi-robot Motion Planning Using Multilevel Morse Theory	2021	Orthey, Andreas
ABC-LMPC: Safe Sample-Based Learning MPC for Stochastic Nonlinear Dynamical Systems with Adjustable Boundary Conditions	2021	Thananjeyan, Brijen
Space-Aware Reconfiguration	2021	Halperin, Dan
Sampling-Based Motion Planning for Uncertain High-Dimensional Systems via Adaptive Control	2021	Verginis, Christos K.
Optimized Synthesis of Snapping Fixtures	2021	Tsabar, Tom
Every Action-Based Sensor	2021	McFassel, Grace
Planning to Chroniccle	2021	Rahmani, Hazhar

Alle Artikel auflisten