Cristian-Ioan Vasile
Lehigh University
H-index: 26
North America-United States
Top articles of Cristian-Ioan Vasile
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints | The International Journal of Robotics Research | Gustavo A Cardona Cristian-Ioan Vasile | 2024/4/28 |
Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications | Gustavo A Cardona Cristian-Ioan Vasile | 2023/6/13 | |
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception | Disha Kamale Sofie Haesaert Cristian-Ioan Vasile | 2023/12/13 | |
Cautious planning with incremental symbolic perception: Designing verified reactive driving maneuvers | Disha Kamale Sofie Haesaert Cristian-Ioan Vasile | 2023/5/29 | |
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees | Erfan Aasi Mingyu Cai Cristian Ioan Vasile Calin Belta | 2023/6/6 | |
Robustness measures and monitors for time window temporal logic | Ahmad Ahmad Cristian-Ioan Vasile Roberto Tron Calin Belta | 2023/12/13 | |
Rewrite-based decomposition of signal temporal logic specifications | Kevin Leahy Makai Mann Cristian-Ioan Vasile | 2023/5/16 | |
Symbolic perception risk in autonomous driving | Guangyi Liu Disha Kamale Cristian-Ioan Vasile Nader Motee | 2023/5/31 | |
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method | Kaier Liang Cristian-Ioan Vasile | 2023/12/4 | |
Mixed integer linear programming approach for control synthesis with weighted signal temporal logic | Gustavo A Cardona Disha Kamale Cristian-Ioan Vasile | 2023/5/9 | |
Learning signal temporal logic through neural network for interpretable classification | Danyang Li Mingyu Cai Cristian-Ioan Vasile Roberto Tron | 2023/5/31 | |
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo | arXiv preprint arXiv:2310.08714 | Gustavo A Cardona Kevin Leahy Makai Mann Cristian-Ioan Vasile | 2023/10/12 |
Method for learning an explainable trajectory generator using an automaton generative network | 2023/3/2 | ||
Learning minimally-violating continuous control for infeasible linear temporal logic specifications | Mingyu Cai Makai Mann Zachary Serlin Kevin Leahy Cristian-Ioan Vasile | 2023/5/31 | |
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach | arXiv preprint arXiv:2309.08813 | Kaier Liang Mingyu Cai Cristian-Ioan Vasile | 2023/9/15 |
Overcoming exploration: Deep reinforcement learning for continuous control in cluttered environments from temporal logic specifications | IEEE Robotics and Automation Letters | Mingyu Cai Erfan Aasi Calin Belta Cristian-Ioan Vasile | 2023/2/20 |
Temporal logic swarm control with splitting and merging | Gustavo A Cardona Kevin Leahy Cristian-Ioan Vasile | 2023/5/29 | |
Fast decomposition of temporal logic specifications for heterogeneous teams | IEEE Robotics and Automation Letters | Kevin Leahy Austin Jones Cristian-Ioan Vasile | 2022/1/14 |
Planning for modular aerial robotic tools with temporal logic constraints | Gustavo A Cardona David Saldaña Cristian-Ioan Vasile | 2022/12/6 | |
Learning a risk-aware trajectory planner from demonstrations using logic monitor | Xiao Li Jonathan DeCastro Cristian Ioan Vasile Sertac Karaman Daniela Rus | 2022/1/11 |