Marius Kloetzer

From MaRDI portal
Person:481350

Available identifiers

zbMath Open kloetzer.mariusMaRDI QIDQ481350

List of research outcomes





PublicationDate of PublicationType
On multirobot path planning based on Petri net models and LTL specifications2025-01-21Paper
Path planning for robotic teams based on LTL specifications and Petri net models2020-05-06Paper
Robot Planning Based on Boolean Specifications Using Petri Net Models2018-09-18Paper
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications2017-08-08Paper
On reducing complexity in LTL-based motion planning2016-12-01Paper
https://portal.mardi4nfdi.de/entity/Q52630482015-07-10Paper
A Petri net based approach for multi-robot path planning2014-12-12Paper
Dealing with Nondeterminism in Symbolic Control2008-09-02Paper
Hybrid Systems: Computation and Control2007-05-02Paper
Hybrid Systems: Computation and Control2007-05-02Paper

Research outcomes over time

This page was built for person: Marius Kloetzer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:481350&oldid=7889399"
Powered by MediaWiki