Jana Tumova

1. Incremental Sampling-based Algorithm for Minimum-violation Motion Planning
   2013/05/06 by Luis I. Reyes Castro, Pratik Chaudhari, Castro, Luis I. Reyes +11 · 1 citation
   Computer Science · Decision Sciences · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Simulation Techniques and Applications #cs.RO
2. Minimum-violation LTL Planning with Conflicting Specifications
   2013/03/15 by Jana Tumova, Tumova, Jana, Luis I. Reyes Castro +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Robotics (cs.RO) #cs.RO
3. Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
   2012/08/29 by Maria Svorenova, Mária Svoreňová, Jana Tumova +9 · 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 #cs.RO