Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
Leahy, Kevin, Serlin, Zachary, Vasile, Cristian-Ioan, Schoer, Andrew, Jones, Austin M., Tron, Roberto, Belta, Calin
Published in IEEE transactions on robotics (01.08.2022)
Published in IEEE transactions on robotics (01.08.2022)
Get full text
Journal Article
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Li, Xiao, Rosman, Guy, Gilitschenski, Igor, Vasile, Cristian-Ioan, DeCastro, Jonathan A., Karaman, Sertac, Rus, Daniela
Published in IEEE robotics and automation letters (01.04.2021)
Published in IEEE robotics and automation letters (01.04.2021)
Get full text
Journal Article
Learning and planning with logical automata
Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark, Rus, Daniela
Published in Autonomous robots (01.10.2021)
Published in Autonomous robots (01.10.2021)
Get full text
Journal Article
Turning Points in Cross-Disciplinary Perspective of Primary Hyperparathyroidism and Pancreas Involvements: Hypercalcemia-Induced Pancreatitis, MEN1 Gene-Related Tumors, and Insulin Resistance
Carsote, Mara, Nistor, Claudiu, Gheorghe, Ana-Maria, Sima, Oana-Claudia, Trandafir, Alexandra-Ioana, Nistor, Tiberiu Vasile Ioan, Sandulescu, Bianca-Andreea, Ciobica, Mihai-Lucian
Published in International journal of molecular sciences (08.06.2024)
Published in International journal of molecular sciences (08.06.2024)
Get full text
Journal Article
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Leahy, Kevin, Jones, Austin, Vasile, Cristian-Ioan
Published in IEEE robotics and automation letters (01.04.2022)
Published in IEEE robotics and automation letters (01.04.2022)
Get full text
Journal Article
Translational and Rotational Invariance in Networked Dynamical Systems
Vasile, Cristian-Ioan, Schwager, Mac, Belta, Calin
Published in IEEE transactions on control of network systems (01.09.2018)
Published in IEEE transactions on control of network systems (01.09.2018)
Get full text
Journal Article
Review of forest ecosystem services evaluation studies in East Africa
Osewe, Erick O., Popa, Bogdan, Vacik, Harald, Osewe, Ibrahim, Abrudan, Ioan Vasile
Published in Frontiers in ecology and evolution (09.07.2024)
Published in Frontiers in ecology and evolution (09.07.2024)
Get full text
Journal Article
COMPARATIVE ANALYSIS REGARDING SURFACE-TO-AIR MISSILES GUIDANCE IN TERMS OF USING THE THREE POINTS AND PROPORTIONAL APPROACH METHODS
CONSTANTINESCU, Cristian George, ŞANDRU, Vasile Ioan, STRIMBU, Constantin
Published in Zeszyty naukowe Politechniki Śla̦skiej. (01.03.2020)
Published in Zeszyty naukowe Politechniki Śla̦skiej. (01.03.2020)
Get full text
Journal Article
Health and Safety Issues in Romanian Forests: Findings from FSC Certification Audits
Hălălișan, Aureliu Florin, Popa, Bogdan, Borz, Stelian Alexandru, Abrudan, Ioan Vasile
Published in Forests (02.05.2022)
Published in Forests (02.05.2022)
Get full text
Journal Article