Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Shaoping Xiao

dblp:67/2016 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
2since 2021 · last 2024
0000-0001-9658-7149ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-author · 2 since 2021Systems, architecture and hardware · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Motion planning and robot control · 83% Knowledge representation and reasoning · 17%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Robotics › Motion planning and robot control
motion planning
0.512021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction · ICRA 2021
Robotics › Motion planning and robot control › motion planning › learning-based motion planning
reinforcement learning-based motion planning
0.512021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction · ICRA 2021
Robotics › Motion planning and robot control
robot control
0.512021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction · ICRA 2021
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic in computer science › logical foundations › non-classical logics › temporal logic
linear temporal logic
0.112021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction · ICRA 2021
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
0.112021
Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction · ICRA 2021

Methods — techniques the papers use, named apart from their topics

reinforcement learning · 0.5markov decision process · 0.5büchi automaton · 0.5
YearPublicationVenuePosition
2024 Model-free reinforcement learning for motion planning of autonomous agents with complex tasks in partially observable environments
Mingyu Cai, Zhen Kan, Shaoping Xiao
Auton. Agents Multi Agent Syst.4
2021 Reinforcement Learning Based Temporal Logic Control with Maximum Probabilistic Satisfaction
abstract
This paper presents a model-free reinforcement learning (RL) algorithm to synthesize a control policy that maximizes the satisfaction probability of complex tasks, which are expressed by linear temporal logic (LTL) specifications. Due to the consideration of environment and motion uncertainties, we model the robot motion as a probabilistic labeled Markov decision process (PL-MDP) with unknown transition probabilities and probabilistic labeling functions. The LTL task specification is converted to a limit deterministic generalized Büchi automaton (LDGBA) with several accepting sets to maintain dense rewards during learning. The novelty of applying LDGBA is to construct an embedded LDGBA (E-LDGBA) by designing a synchronous tracking-frontier function, which enables the record of non-visited accepting sets of LDGBA at each round of the repeated visiting pattern, to overcome the difficulties of directly applying conventional LDGBA. With appropriate dependent reward and discount functions, rigorous analysis shows that any method, which optimizes the expected discount return of the RL-based approach, is guaranteed to find the optimal policy to maximize the satisfaction probability of the LTL specifications. A model-free RL-based motion planning strategy is developed to generate the optimal policy in this paper. The effectiveness of the RL-based control synthesis is demonstrated via simulation and experimental results.
Mingyu Cai, Shaoping Xiao, Baoluo Li, Zhiliang Li, Zhen Kan
ICRA2
2020 A machine-learning-enhanced hierarchical multiscale method for bridging from molecular dynamics to continua
Shaoping Xiao, Siamak Attarian, Kaj-Mikael Björk, Amaury Lendasse
Neural Comput. Appl.1