Search results for: Erion Plaku
Springer Tracts in Advanced Robotics > Algorithmic Foundation of Robotics VII > Probabilistic Roadmap Methods (PRMs) > 3-18
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 305-316
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Hybrid Systems > 368-382
Lecture Notes in Computer Science > Computer Aided Verification > Session XIV: Hybrid Systems > 463-476
Springer Tracts in Advanced Robotics > Robotics Research. The Eleventh International Symposium > 80-89