Vasile, Cristian Ioan
- Sampling-Based Temporal Logic Path Planning
2013/07/27 by Cristian-Ioan Vasile, Călin Belta, Vasile, Cristian Ioan +1 · 3 citations
Computer Science · #Robotic Path Planning Algorithms #Formal Methods in Verification #Software Testing and Debugging Techniques
- Inferring Temporal Logic Properties from Data using Boosted Decision Trees
2021/05/24 by Aasi, Erfan, Vasile, Cristian Ioan, Bahreinian, Mahroo +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Robotics (cs.RO)