Robot Planning Based on Boolean Specifications Using Petri Net Models

DOI10.1109/TAC.2017.2760249zbMath1423.93257MaRDI QIDQ4682269

Marius Kloetzer, Cristian Mahulea

Publication date: 18 September 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Path planning for robotic teams based on LTL specifications and Petri net models

This page was built for publication: Robot Planning Based on Boolean Specifications Using Petri Net Models