Marius Kloetzer

Available identifiers

zbMath Open kloetzer.mariusMaRDI QIDQ481350

List of research outcomes

Publication	Date of Publication	Type
Path planning for robotic teams based on LTL specifications and Petri net models	2020-05-06	Paper
Robot Planning Based on Boolean Specifications Using Petri Net Models	2018-09-18	Paper
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications	2017-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q2835117	2016-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q5263048	2015-07-10	Paper
A Petri net based approach for multi-robot path planning	2014-12-12	Paper
Dealing with Nondeterminism in Symbolic Control	2008-09-02	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marius Kloetzer