The following pages link to Marius Kloetzer (Q481350):
Displayed 9 items.
- A Petri net based approach for multi-robot path planning (Q481351) (← links)
- Path planning for robotic teams based on LTL specifications and Petri net models (Q2177780) (← links)
- (Q2835117) (← links)
- Dealing with Nondeterminism in Symbolic Control (Q3523114) (← links)
- Robot Planning Based on Boolean Specifications Using Petri Net Models (Q4682269) (← links)
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications (Q4974124) (← links)
- (Q5263048) (← links)
- Hybrid Systems: Computation and Control (Q5898988) (← links)
- Hybrid Systems: Computation and Control (Q5898989) (← links)