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
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
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, Calin
Published in 2019 American Control Conference (ACC) (01.07.2019)
Published in 2019 American Control Conference (ACC) (01.07.2019)
Get full text
Conference Proceeding
Time window temporal logic
Vasile, Cristian-Ioan, Aksaray, Derya, Belta, Calin
Published in Theoretical computer science (29.08.2017)
Published in Theoretical computer science (29.08.2017)
Get full text
Journal Article
Specifying User Preferences Using Weighted Signal Temporal Logic
Mehdipour, Noushin, Vasile, Cristian-Ioan, Belta, Calin
Published in IEEE control systems letters (01.12.2021)
Published in IEEE control systems letters (01.12.2021)
Get full text
Journal Article
Reinforcement learning with temporal logic rewards
Xiao Li, Vasile, Cristian-Ioan, Belta, Calin
Published in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (01.09.2017)
Published in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (01.09.2017)
Get full text
Conference Proceeding
Automata-based Optimal Planning with Relaxed Specifications
Kamale, Disha, Karyofylli, Eleni, Vasile, Cristian-Ioan
Published in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (27.09.2021)
Published in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (27.09.2021)
Get full text
Conference Proceeding
Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Liang, Kaier, Vasile, Cristian-Ioan
Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (23.10.2022)
Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (23.10.2022)
Get full text
Conference Proceeding
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Li, Danyang, Cai, Mingyu, Vasile, Cristian-Ioan, Tron, Roberto
Published in 2023 American Control Conference (ACC) (31.05.2023)
Published in 2023 American Control Conference (ACC) (31.05.2023)
Get full text
Conference Proceeding