Marius Kloetzer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On multirobot path planning based on Petri net models and LTL specifications IEEE Transactions on Automatic Control	2025-01-21	Paper
Path planning for robotic teams based on LTL specifications and Petri net models Discrete Event Dynamic Systems	2020-05-06	Paper
Robot Planning Based on Boolean Specifications Using Petri Net Models IEEE Transactions on Automatic Control	2018-09-18	Paper
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications IEEE Transactions on Automatic Control	2017-08-08	Paper
On reducing complexity in LTL-based motion planning Buletinul Institutului Politehnic din Iași. Secția Automatică și Calculatoare	2016-12-01	Paper
scientific article; zbMATH DE number 6457816 (Why is no real title available?)	2015-07-10	Paper
A Petri net based approach for multi-robot path planning Discrete Event Dynamic Systems	2014-12-12	Paper
Dealing with Nondeterminism in Symbolic Control Hybrid Systems: Computation and Control	2008-09-02	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-05-02	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Marius Kloetzer