Path planning for robotic teams based on LTL specifications and Petri net models von Kloetzer, Marius, Mahulea, Cristian

Volltext

Trajectory planning for a car-like robot by environment abstraction von Ghita, Narcis, Kloetzer, Marius

Volltext

Robot Planning Based on Boolean Specifications Using Petri Net Models von Mahulea, Cristian, Kloetzer, Marius

Volltext

Numerical Evaluation of Sample Gathering Solutions for Mobile Robots von Burlacu, Adrian, Kloetzer, Marius, Mahulea, Cristian

Volltext

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications von Kloetzer, M., Belta, C.

Volltext

On Multirobot Path Planning Based on Petri Net Models and LTL Specifications von Hustiu, Sofia, Mahulea, Cristian, Kloetzer, Marius, Lesage, Jean-Jacques

Volltext

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications von Kloetzer, M., Belta, C.

Volltext

A Petri net based approach for multi-robot path planning von Kloetzer, Marius, Mahulea, Cristian

Volltext

On Multi-Robot Path Planning based on Petri Net Models and LTL Specifications von Hustiu, Sofia, Mahulea, Cristian, Kloetzer, Marius, Lesage, Jean-Jacques J

Volltext

LTL-Based Planning in Environments With Probabilistic Observations von Kloetzer, Marius, Mahulea, Cristian

Volltext

A Fully Automated Framework for Control of Linear Systems from LTL Specifications von Kloetzer, Marius, Belta, Calin

Volltext

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions von Kloetzer, M., Belta, C.

Volltext

Automatic Deployment of Robotic Teams von Xu Chu Ding, Kloetzer, M., Yushan Chen, Belta, C.

Volltext

Reachability Analysis of Multi-affine Systems von Kloetzer, Marius, Belta, Calin

Volltext

Reachability analysis of multi-affine systems von Kloetzer, Marius, Belta, Calin

Volltext

An Automated Framework for Formal Verification of Timed Continuous Petri Nets von Kloetzer, M, Mahulea, C, Belta, C, Silva, M

Volltext

Software Tool for Distribution of Linear Temporal Logic Specifications von Hustiu, Ioana, Mahulea, Cristian, Kloetzer, Marius

Volltext

Dealing with Nondeterminism in Symbolic Control von Kloetzer, Marius, Belta, Calin

Volltext

Parallel Motion Execution and Path Rerouting for a Team of Mobile Robots von Hustiu, Sofia, Mahulea, Cristian, Kloetzer, Marius

Volltext

Distributed Multirobot Path Planning in Unknown Maps Using Petri Net Models von Mahulea, Cristian, Montijano, Eduardo, Kloetzer, Marius

Volltext