Name
Affiliation
Papers
MARIUS KLOETZER
Boston Univ, Ctr Informat & Syst Engn, Boston, MA 02446 USA
28
Collaborators
Citations 
PageRank 
17
476
29.21
Referers 
Referees 
References 
646
362
373
Search Limit
100646
Title
Citations
PageRank
Year
Path planning for robotic teams based on LTL specifications and Petri net models30.392020
Collision Free Path Planning for Unmanned Aerial Vehicles in Environments with Dynamic Obstacles00.342020
Distributed Path Planning Of Mobile Robots With Ltl Specifications00.342020
Path Planning for Autonomous Drones using 3D Rectangular Cuboid Decomposition10.382019
Robot Planning Based on Boolean Specifications Using Petri Net Models.40.422018
Accomplish multi-robot tasks via Petri net models00.342015
A Matlab-based interactive simulator for mobile robotics20.412015
LTL-Based Planning in Environments With Probabilistic Observations10.372015
A Petri net based approach for multi-robot path planning80.542014
Planning mobile robots with Boolean-based specifications30.402014
Petri net approach for deadlock prevention in robot planning.50.432013
LTL planning in dynamic environments.10.352012
Trajectory planning for a car-like robot by environment abstraction90.662012
Multi-Robot Deployment From Ltl Specifications With Reduced Communication160.802011
Software tool for constructing cell decompositions.30.392011
An Automated Framework for Formal Verification of Timed Continuous Petri Nets201.152010
Automatic deployment of distributed teams of robots from temporal logic motion specifications582.122010
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)70.742009
Dealing with Nondeterminism in Symbolic Control241.182008
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications1838.032008
Distributed implementations of global temporal logic motion specifications110.782008
Managing Non-Deteirminism In Symbolic Robot Motion Planning And Control50.472007
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions170.782007
A Framework For Automatic Deployment Of Robots In 2d And 3d Environments50.642006
A fully automated framework for control of linear systems from LTL specifications362.552006
Hierarchical Abstractions For Robotic Swarms231.852006
Reachability analysis of multi-affine systems312.042006
Neuro-predictive control based self-tuning of PID controllers00.342004