The following pages link to Erion Plaku (Q869399):
Displayed 7 items.
- Distributed computation of the \textit{k}nn graph for large high-dimensional point sets (Q869400) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Quantitative Analysis of Nearest-Neighbors Search in High-Dimensional Sampling-Based Motion Planning (Q3564289) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- (Q4474228) (← links)
- Cooperative, Dynamics-based, and Abstraction-Guided Multi-robot Motion Planning (Q4963224) (← links)
- Hybrid Systems: From Verification to Falsification (Q5429337) (← links)