Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Francesco Leofante
Dan Graur
Lining Xing
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
P Lebègue
Home
/
Author
/
MARIUS KLOETZER
Author Info
Open Visualization
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
100
646
Publications (28 rows)
Collaborators (17 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Path planning for robotic teams based on LTL specifications and Petri net models
3
0.39
2020
Collision Free Path Planning for Unmanned Aerial Vehicles in Environments with Dynamic Obstacles
0
0.34
2020
Distributed Path Planning Of Mobile Robots With Ltl Specifications
0
0.34
2020
Path Planning for Autonomous Drones using 3D Rectangular Cuboid Decomposition
1
0.38
2019
Robot Planning Based on Boolean Specifications Using Petri Net Models.
4
0.42
2018
Accomplish multi-robot tasks via Petri net models
0
0.34
2015
A Matlab-based interactive simulator for mobile robotics
2
0.41
2015
LTL-Based Planning in Environments With Probabilistic Observations
1
0.37
2015
A Petri net based approach for multi-robot path planning
8
0.54
2014
Planning mobile robots with Boolean-based specifications
3
0.40
2014
Petri net approach for deadlock prevention in robot planning.
5
0.43
2013
LTL planning in dynamic environments.
1
0.35
2012
Trajectory planning for a car-like robot by environment abstraction
9
0.66
2012
Multi-Robot Deployment From Ltl Specifications With Reduced Communication
16
0.80
2011
Software tool for constructing cell decompositions.
3
0.39
2011
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
20
1.15
2010
Automatic deployment of distributed teams of robots from temporal logic motion specifications
58
2.12
2010
Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)
7
0.74
2009
Dealing with Nondeterminism in Symbolic Control
24
1.18
2008
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
183
8.03
2008
Distributed implementations of global temporal logic motion specifications
11
0.78
2008
Managing Non-Deteirminism In Symbolic Robot Motion Planning And Control
5
0.47
2007
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions
17
0.78
2007
A Framework For Automatic Deployment Of Robots In 2d And 3d Environments
5
0.64
2006
A fully automated framework for control of linear systems from LTL specifications
36
2.55
2006
Hierarchical Abstractions For Robotic Swarms
23
1.85
2006
Reachability analysis of multi-affine systems
31
2.04
2006
Neuro-predictive control based self-tuning of PID controllers
0
0.34
2004
1