%0 Journal Article
%T Path planning for robotic teams based on LTL specifications and Petri net models
%A Kloetzer, Marius
%A Mahulea, Cristian
%J Discrete Event Dynamic Systems
%V 30
%N 1
%P 55-79
%@ 0924-6703
%D 2020-03-02
%I Springer US
%~ DeepDyve