Neuro-predictive control based self-tuning of PID controllers. - Corneliu Lazar; Sorin Carari; Draguna L. Vrabie; Marius Kloetzer (ESANN, 2004)

Control of Rectangular Multi-Affine Hybrid Systems. - Luc C. G. J. M. Habets; Marius Kloetzer; Calin Belta (CDC, 2006)

A Fully Automated Framework for Control of Linear Systems from LTL Specifications. - Marius Kloetzer; Calin Belta (HSCC, 2006)

Reachability Analysis of Multi-affine Systems. - Marius Kloetzer; Calin Belta (HSCC, 2006)

Hierarchical Abstractions for Robotic Swarms. - Marius Kloetzer; Calin Belta (ICRA, 2006)

A Framework for Automatic Deployment of Robots in 2D and 3D Environments. - Marius Kloetzer; Calin Belta (IROS, 2006)

Managing non-determinism in symbolic robot motion planning and control. - Marius Kloetzer; Calin Belta (ICRA, 2007)

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. - Marius Kloetzer; Calin Belta (IEEE Trans. Robotics, 2007)

Formal analysis of timed continuous Petri nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Laura Recalde; Manuel Silva Suárez (CDC, 2008)

Dealing with Nondeterminism in Symbolic Control. - Marius Kloetzer; Calin Belta (HSCC, 2008)

Distributed implementations of global temporal logic motion specifications. - Marius Kloetzer; Calin Belta (ICRA, 2008)

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. - Marius Kloetzer; Calin Belta (IEEE Trans. Autom. Control., 2008)

Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). - Morteza Lahijanian; Marius Kloetzer; Sara Itani; Calin Belta; Sean B. Andersson (ICRA, 2009)

On the need for communication in distributed implementations of LTL motion specifications. - Marius Kloetzer; Sanjiv Itani; Sam Birch; Calin Belta (ICRA, 2010)

An Automated Framework for Formal Verification of Timed Continuous Petri Nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Manuel Silva Suárez (IEEE Trans. Ind. Informatics, 2010)

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. - Marius Kloetzer; Calin Belta (IEEE Trans. Robotics, 2010)

Software tool for constructing cell decompositions. - Marius Kloetzer; Narcis Ghita (CASE, 2011)

Multi-robot deployment from LTL specifications with reduced communication. - Marius Kloetzer; Xu Chu Ding; Calin Belta (CDC/ECC, 2011)

A probabilistic abstraction approach for planning and controlling mobile robots. - Marius Kloetzer; Cristian Mahulea; Octavian Pastravanu (ETFA, 2011)

Automatic Deployment of Robotic Teams. - Xu Chu Ding; Marius Kloetzer; Yushan Chen; Calin Belta (IEEE Robotics Autom. Mag., 2011)

Online Petri net based algorithm for planning and controlling mobile robots. - Cristian Mahulea; Marius Kloetzer (ETFA, 2012)

LTL planning in dynamic environments. - Marius Kloetzer; Cristian Mahulea (WODES, 2012)

Trajectory planning for a car-like robot by environment abstraction. - Narcis Ghita; Marius Kloetzer (Robotics Auton. Syst., 2012)

Petri net approach for deadlock prevention in robot planning. - Marius Kloetzer; Cristian Mahulea; José Manuel Colom (ETFA, 2013)

Optimal multi-agent planning solution for a sample gathering problem. - Adrian Burlacu; Marius Kloetzer; Florin Ostafi (AQTR, 2014)

Planning mobile robots with Boolean-based specifications. - Cristian Mahulea; Marius Kloetzer (CDC, 2014)

An assembly problem with mobile robots. - Marius Kloetzer; Cristian Mahulea (ETFA, 2014)

A Petri net based approach for multi-robot path planning. - Marius Kloetzer; Cristian Mahulea (Discret. Event Dyn. Syst., 2014)

A Matlab-based interactive simulator for mobile robotics. - Ramon Gonzalez; Cristian Mahulea; Marius Kloetzer (CASE, 2015)

Accomplish multi-robot tasks via Petri net models. - Marius Kloetzer; Cristian Mahulea (CASE, 2015)

Collision avoidance of mobile robots by using initial time delays. - Xu Wang 019; Marius Kloetzer; Cristian Mahulea; Manuel Silva Suárez (CDC, 2015)

LTL-Based Planning in Environments With Probabilistic Observations. - Marius Kloetzer; Cristian Mahulea (IEEE Trans Autom. Sci. Eng., 2015)

Multi-robot path planning for syntactically co-safe LTL specifications. - Marius Kloetzer; Cristian Mahulea (WODES, 2016)

Path-planning in Discretized Environments with Optimized Waypoints Computation. - Emanuele Vitolo; Cristian Mahulea; Marius Kloetzer (ETFA, 2018)

Robot Planning Based on Boolean Specifications Using Petri Net Models. - Cristian Mahulea; Marius Kloetzer (IEEE Trans. Autom. Control., 2018)

On the Evaluation of the Crazyflie Modular Quadcopter System. - Cristina Budaciu; Nicolae Botezatu; Marius Kloetzer; Adrian Burlacu (ETFA, 2019)

Optimal Indoor Goods Delivery Using Drones. - Marius Kloetzer; Adrian Burlacu; Gabriel Enescu; Simona Caraiman; Cristian Mahulea (ETFA, 2019)

Path Planning for Autonomous Drones using 3D Rectangular Cuboid Decomposition. - Marian Lupascu; Sofia Hustiu; Adrian Burlacu; Marius Kloetzer (ICSTCC, 2019)

Collision Free Path Planning for Unmanned Aerial Vehicles in Environments with Dynamic Obstacles. - Sofia Hustiu; Marius Kloetzer; Adrian Burlacu (ICSTCC, 2020)

Distributed Path Planning of Mobile Robots with LTL Specifications. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2020)

Path planning for robotic teams based on LTL specifications and Petri net models. - Marius Kloetzer; Cristian Mahulea (Discret. Event Dyn. Syst., 2020)

Optimal task allocation for distributed co-safe LTL specifications. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ETFA, 2021)

Mission assignment and 3D path planning for a team of UAVs. - Sofia Hustiu; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2021)

Whitening of greenhouse's roof using drones and Petri net models*. - Sofia Hustiu; Marius Kloetzer; Alejandro López-Martínez; Cristian Mahulea (ETFA, 2022)

Distributing Co-safe LTL Specifications to Mobile Robots. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ICSTCC, 2022)

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (CoRR, 2022)

Extension of a decomposition method for a global LTL specification. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ETFA, 2023)

Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets. - Sofia Hustiu; Dimos V. Dimarogonas; Cristian Mahulea; Marius Kloetzer (ECC, 2023)

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. - Sofia Hustiu; Eva Robillard; Joaquin Ezpeleta; Cristian Mahulea; Marius Kloetzer (CoRR, 2023)

Planning strategy based on visibility graph and traveling salesman problem with time window constraints. - Mihaela-Alexandra Barb-Ciorbea; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2024)

On Multirobot Path Planning Based on Petri Net Models and LTL Specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (IEEE Trans. Autom. Control., 2024)

Efficient Path Planning and Task Allocation Algorithm for Boolean Specifications. - Ioana Hustiu; Roozbeh Abolpour; Cristian Mahulea; Marius Kloetzer (CoRR, 2025)