Cristian-Ioan Vasile
Lehigh University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Robotic Path Planning Algorithms, Logic, Reasoning, and Knowledge, AI-based Problem Solving and Planning, Model-Driven Software Engineering Techniques
Most-Cited Works
- → PyElph - a software tool for gel images analysis and phylogenetics(2012)299 cited
- → Reinforcement learning with temporal logic rewards(2017)155 cited
- → A Decision Tree Approach to Data Classification using Signal Temporal Logic(2016)126 cited
- → Sampling-based temporal logic path planning(2013)91 cited
- → Development of membrane controllers for mobile robots(2011)90 cited
- → Minimum-violation scLTL motion planning for mobility-on-demand(2017)69 cited
- → Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints(2015)63 cited
- → Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)(2021)57 cited
- → Dynamic routing of energy-aware vehicles with Temporal Logic Constraints(2016)55 cited
- → Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features(2021)53 cited