相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Finite-Time Error Bounds of Biased Stochastic Approximation With Application to TD-Learning
Gang Wang
IEEE TRANSACTIONS ON SIGNAL PROCESSING (2022)
Humanoid Robot Path Planning Using Rapidly Explored Random Tree and Motion Primitives
Maksymilian Szumowski et al.
Journal of Automation, Mobile Robotics and Intelligent Systems (2021)
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
Lars Lindemann et al.
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2021)
Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things
Gang Chen et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)
An Efficient RRT-Based Framework for Planning Short and Smooth Wheeled Robot Motion Under Kinodynamic Constraints
Biao Hu et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)
Learning From Demonstrations Using Signal Temporal Logic in Stochastic and Continuous Domains
Aniruddh Gopinath Puranic et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2021)
MOD-RRT*: A Sampling-Based Algorithm for Robot Path Planning in Dynamic Environment
Jie Qi et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2021)
Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences
Jesper Karlsson et al.
IFAC PAPERSONLINE (2020)
Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications
Lars Lindemann et al.
2020 AMERICAN CONTROL CONFERENCE (ACC) (2020)
From Real-time Logic to Timed Automata
Thomas Ferrere et al.
JOURNAL OF THE ACM (2019)
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications
Fernando S. Barbosa et al.
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) (2019)
Structured Reward Shaping using Signal Temporal Logic specifications
Anand Balakrishnan et al.
2019 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS) (2019)
Guiding Autonomous Exploration With Signal Temporal Logic
Fernando S. Barbosa et al.
IEEE ROBOTICS AND AUTOMATION LETTERS (2019)
Control Barrier Functions for Signal Temporal Logic Tasks
Lars Lindemann et al.
IEEE CONTROL SYSTEMS LETTERS (2019)
Symbolic model checking for discrete real-time systems
Xiangyu Luo et al.
SCIENCE CHINA-INFORMATION SCIENCES (2018)
Neural Network Approximation Based Near-Optimal Motion Planning With Kinodynamic Constraints Using RRT
Yang Li et al.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2018)
STL Model Checking of Continuous and Hybrid Systems
Hendrik Roehm et al.
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016 (2016)
Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control
Hai Lin
UNMANNED SYSTEMS (2014)
High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation
Patrick Doherty et al.
UNMANNED SYSTEMS (2013)
A framework for multi-robot motion planning from temporal logic specifications
T. John Koo et al.
SCIENCE CHINA-INFORMATION SCIENCES (2012)
Sampling-based algorithms for optimal motion planning
Sertac Karaman et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2011)