vix.ing · top · new · best · stats · spec

Mária Svoreňová

  1. Attraction-Based Receding Horizon Path Planning with Temporal Logic\n Constraints
    2012/08/29 by Mária Svoreňová, Jana Tůmová, Svorenova, Maria +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotics (cs.RO) #Software Testing and Debugging Techniques