76 citations · 116 across the 44 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate +3
Reinforcement Learning (RL) has emerged as an efficient method of choice for solving complex sequential decision making problems in automatic control, computer science, economics,…
cs.RO2019★ 6 cited
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis
Xusheng Luo, Yiannis Kantaros, Michael M. Zavlanos
The majority of existing Linear Temporal Logic (LTL) planning methods rely on the construction of a discrete product automaton, that combines a discrete abstraction of robot mobili…