Ivana Černá
- Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
2017/08/01 by Jaroslav Bendík, Bendik, Jaroslav, Ivana Černá +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques
- Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
2012/08/29 by Mária Svoreňová, Maria Svorenova, 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