Integrating human swarm interaction in a distributed robotic control system. - Cristian Ioan Vasile; Ana Pavel; Catalin Buiu (CASE, 2011)

A software system for collaborative robotics applications and its application in particle swarm optimization implementations. - Cristian Ioan Vasile; Catalin Buiu (Appl. Soft Comput., 2011)

Robot Localization Implemented with Enzymatic Numerical P Systems. - Ana Brândusa Pavel; Cristian Ioan Vasile; Ioan Dumitrache (Living Machines, 2012)

On the power of enzymatic numerical P systems. - Cristian Ioan Vasile; Ana Brândusa Pavel; Ioan Dumitrache; Gheorghe Paun (Acta Informatica, 2012)

PyElph - a software tool for gel images analysis and phylogenetics. - Ana Brândusa Pavel; Cristian Ioan Vasile (BMC Bioinform., 2012)

Development of membrane controllers for mobile robots. - Catalin Buiu; Cristian Ioan Vasile; Octavian Arsene (Inf. Sci., 2012)

Sampling-based temporal logic path planning. - Cristian Ioan Vasile; Calin Belta (IROS, 2013)

Universality of Enzymatic Numerical P systems. - Cristian Ioan Vasile; Ana Brândusa Pavel; Ioan Dumitrache (Int. J. Comput. Math., 2013)

Reactive sampling-based temporal logic path planning. - Cristian Ioan Vasile; Calin Belta (ICRA, 2014)

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (ISER, 2014)

An Automata-Theoretic Approach to the Vehicle Routing Problem. - Cristian Ioan Vasile; Calin Belta (Robotics: Science and Systems, 2014)

SE(N) invariance in networked systems. - Cristian Ioan Vasile; Mac Schwager; Calin Belta (ECC, 2015)

Control in belief space with Temporal Logic specifications. - Cristian Ioan Vasile; Kevin Leahy 001; Eric Cristofalo; Austin Jones; Mac Schwager; Calin Belta (CDC, 2016)

A Decision Tree Approach to Data Classification using Signal Temporal Logic. - Giuseppe Bombara; Cristian Ioan Vasile; Francisco Penedo; Hirotoshi Yasuoka; Calin Belta (HSCC, 2016)

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints. - Derya Aksaray; Cristian Ioan Vasile; Calin Belta (ICRA, 2016)

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. - Eric Cristofalo; Kevin Leahy 001; Cristian Ioan Vasile; Eduardo Montijano; Mac Schwager; Calin Belta (ISER, 2016)

Language-Guided Sampling-based Planning using Temporal Relaxation. - Francisco Penedo; Cristian Ioan Vasile; Calin Belta (WAFR, 2016)

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. - Kevin Leahy 001; Dingjiang Zhou; Cristian Ioan Vasile; Konstantinos Oikonomopoulos; Mac Schwager; Calin Belta (Auton. Robots, 2016)

Identifying cancer type specific oncogenes and tumor suppressors using limited size data. - Ana Brândusa Pavel; Cristian Ioan Vasile (J. Bioinform. Comput. Biol., 2016)

Minimum-violation scLTL motion planning for mobility-on-demand. - Cristian Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (ICRA, 2017)

Reinforcement learning with temporal logic rewards. - Xiao Li 013; Cristian Ioan Vasile; Calin Belta (IROS, 2017)

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications. - Cristian Ioan Vasile; Vasumathi Raman; Sertac Karaman (IROS, 2017)

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks. - Lucas Liebenwein; Wilko Schwarting; Cristian Ioan Vasile; Jonathan A. DeCastro; Javier Alonso-Mora; Sertac Karaman; Daniela Rus (ISRR, 2017)

Time window temporal logic. - Cristian Ioan Vasile; Derya Aksaray; Calin Belta (Theor. Comput. Sci., 2017)

ARCH-COMP18 Category Report: Stochastic Modelling. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Sofie Haesaert; Arnd Hartmanns; Kendra Lesser; Meeko Oishi; Vignesh Sivaramakrishnan; Sadegh Soudjani; Cristian Ioan Vasile; Abraham P. Vinod (ARCH@ADHS, 2018)

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. - Sofie Haesaert; Petter Nilsson; Cristian Ioan Vasile; Rohan Thakker; Ali-akbar Agha-mohammadi; Aaron D. Ames; Richard M. Murray (ADHS, 2018)

Metrics for Signal Temporal Logic Formulae. - Curtis Madsen; Prashant Vaidyanathan; Sadra Sadraddini; Cristian Ioan Vasile; Nicholas A. DeLateur; Ron Weiss; Douglas Densmore; Calin Belta (CDC, 2018)

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand. - Jesper Karlsson; Cristian Ioan Vasile; Jana Tumova; Sertac Karaman; Daniela Rus (ICRA, 2018)

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. - Petter Nilsson; Sofie Haesaert; Rohan Thakker; Kyohei Otsu; Cristian Ioan Vasile; Ali-Akbar Agha-Mohammadi; Richard M. Murray; Aaron D. Ames (Robotics: Science and Systems, 2018)

Counterexample-Guided Safety Contracts for Autonomous Driving. - Jonathan A. DeCastro; Lucas Liebenwein; Cristian Ioan Vasile; Russ Tedrake; Sertac Karaman; Daniela Rus (WAFR, 2018)

Translational and Rotational Invariance in Networked Dynamical Systems. - Cristian Ioan Vasile; Mac Schwager; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (ACC, 2019)

Average-based Robustness for Continuous-Time Signal Temporal Logic. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (CDC, 2019)

Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection. - Alyssa Pierson; Cristian Ioan Vasile; Anshula Gandhi; Wilko Schwarting; Sertac Karaman; Daniela Rus (ICRA, 2019)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Learning to Plan with Logical Automata. - Brandon Araki; Kiran Vodrahalli; Thomas Leech; Cristian Ioan Vasile; Mark Donahue; Daniela Rus (Robotics: Science and Systems, 2019)

Control in belief space with temporal logic specifications using vision-based localization. - Kevin Leahy 001; Eric Cristofalo; Cristian Ioan Vasile; Austin Jones; Eduardo Montijano; Mac Schwager; Calin Belta (Int. J. Robotics Res., 2019)

Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. - Brandon Araki; Kiran Vodrahalli; Thomas Leech; Cristian Ioan Vasile; Mark Donahue; Daniela Rus (AAAI, 2020)

Differentiable Logic Layer for Rule Guided Trajectory Prediction. - Xiao Li 025; Guy Rosman; Igor Gilitschenski; Jonathan A. DeCastro; Cristian Ioan Vasile; Sertac Karaman; Daniela Rus (CoRL, 2020)

Reactive sampling-based path planning with temporal logic specifications. - Cristian Ioan Vasile; Xiao Li 013; Calin Belta (Int. J. Robotics Res., 2020)

A Control Architecture for Provably-Correct Autonomous Driving. - Erfan Aasi; Cristian Ioan Vasile; Calin Belta (ACC, 2021)

Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor. - Xiao Li 025; Jonathan A. DeCastro; Cristian Ioan Vasile; Sertac Karaman; Daniela Rus (CoRL, 2021)

When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. - Jesper Karlsson; Anastasiia Varava; Cristian-Ioan Vasile; Sertac Karaman; Danica Kragic; Daniela Rus; Jana Tumova (ICAR, 2021)

Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot. - Gustavo A. Cardona; Diego F. Salazar-D'Antonio; Cristian-Ioan Vasile; David Saldaña (IROS, 2021)

Automata-based Optimal Planning with Relaxed Specifications. - Disha Kamale; Eleni Karyofylli; Cristian-Ioan Vasile (IROS, 2021)

Learning and planning with logical automata. - Brandon Araki; Kiran Vodrahalli; Thomas Leech; Cristian-Ioan Vasile; Mark Donahue; Daniela Rus (Auton. Robots, 2021)

Inferring Temporal Logic Properties from Data using Boosted Decision Trees. - Erfan Aasi; Cristian Ioan Vasile; Mahroo Bahreinian; Calin Belta (CoRR, 2021)

Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions. - Mingyu Cai; Cristian-Ioan Vasile (CoRR, 2021)

Time-Incremental Learning from Data Using Temporal Logics. - Erfan Aasi; Mingyu Cai; Cristian Ioan Vasile; Calin Belta (CoRR, 2021)

Specifying User Preferences Using Weighted Signal Temporal Logic. - Noushin Mehdipour; Cristian Ioan Vasile; Calin Belta (IEEE Control. Syst. Lett., 2021)

Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features. - Xiao Li 025; Guy Rosman; Igor Gilitschenski; Cristian Ioan Vasile; Jonathan A. DeCastro; Sertac Karaman; Daniela Rus (IEEE Robotics Autom. Lett., 2021)

Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints. - Gustavo A. Cardona; David Saldaña; Cristian-Ioan Vasile (CDC, 2022)

Classification of Time-Series Data Using Boosted Decision Trees. - Erfan Aasi; Cristian Ioan Vasile; Mahroo Bahreinian; Calin Belta (IROS, 2022)

Fair Planning for Mobility-on-Demand with Temporal Logic Requests. - Kaier Liang; Cristian-Ioan Vasile (IROS, 2022)

Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems. - Gustavo A. Cardona; Cristian-Ioan Vasile (WAFR, 2022)

Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications. - Mingyu Cai; Erfan Aasi; Calin Belta; Cristian-Ioan Vasile (CoRR, 2022)

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. - Mingyu Cai; Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. - Kevin Leahy 001; Austin Jones; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN). - Xiao Li 025; Guy Rosman; Igor Gilitschenski; Brandon Araki; Cristian-Ioan Vasile; Sertac Karaman; Daniela Rus (IEEE Robotics Autom. Lett., 2022)

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). - Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile; Andrew Schoer; Austin M. Jones; Roberto Tron; Calin Belta (IEEE Trans. Robotics, 2022)

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. - Mingyu Cai; Makai Mann; Zachary Serlin; Kevin Leahy 001; Cristian-Ioan Vasile (ACC, 2023)

Learning Signal Temporal Logic through Neural Network for Interpretable Classification. - Danyang Li; Mingyu Cai; Cristian-Ioan Vasile; Roberto Tron (ACC, 2023)

Symbolic Perception Risk in Autonomous Driving. - Guangyi Liu 004; Disha Kamale; Cristian-Ioan Vasile; Nader Motee (ACC, 2023)

Robustness Measures and Monitors for Time Window Temporal Logic. - Ahmad Ahmad; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (CDC, 2023)

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (CDC, 2023)

Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications. - Gustavo A. Cardona; Cristian-Ioan Vasile (ECC, 2023)

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. - Gustavo A. Cardona; Disha Kamale; Cristian-Ioan Vasile (HSCC, 2023)

Temporal Logic Swarm Control with Splitting and Merging. - Gustavo A. Cardona; Kevin Leahy 001; Cristian-Ioan Vasile (ICRA, 2023)

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (ICRA, 2023)

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. - Erfan Aasi; Mingyu Cai; Cristian Ioan Vasile; Calin Belta (L4DC, 2023)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method. - Kaier Liang; Cristian-Ioan Vasile (MRS, 2023)

Rewrite-Based Decomposition of Signal Temporal Logic Specifications. - Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (NFM, 2023)

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. - Gustavo A. Cardona; Kevin Leahy 001; Makai Mann; Cristian-Ioan Vasile (CoRR, 2023)

Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications. - Mingyu Cai; Erfan Aasi; Calin Belta; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2023)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach. - Kaier Liang; Mingyu Cai; Cristian-Ioan Vasile (ACC, 2024)

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. - Kaier Liang; Gustavo A. Cardona; Disha Kamale; Cristian-Ioan Vasile (CDC, 2024)

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. - Disha Kamale; Cristian-Ioan Vasile (ICRA, 2024)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty. - Kaier Liang; Gustavo A. Cardona; Cristian-Ioan Vasile (ICRA, 2024)

TLINet: Differentiable Neural Network Temporal Logic Inference. - Danyang Li; Mingyu Cai; Cristian-Ioan Vasile; Roberto Tron (CoRR, 2024)

Planning for heterogeneous teams of robots with temporal logic, capability, and resource constraints. - Gustavo A. Cardona; Cristian-Ioan Vasile (Int. J. Robotics Res., 2024)

Truck Fleet Coordination for Warehouse Trailer Management by Temporal Logic with Energy Constraints. - Gustavo A. Cardona; Cristian-Ioan Vasile; Stefano Di Cairano (ACC, 2025)

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. - Ahmad Ahmad; Mehdi Kermanshah; Kevin Leahy 001; Zachary Serlin; Ho Chit Siu; Makai Mann; Cristian-Ioan Vasile; Roberto Tron; Calin Belta (L4DC, 2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems. - Shuo Yang 007; Hongrui Zheng; Cristian-Ioan Vasile; George J. Pappas; Rahul Mangharam (L4DC, 2025)

Optimal On-the-Fly Route Planning With Rich Transportation Requests. - Cristian-Ioan Vasile; Jana Tumova; Sertac Karaman; Calin Belta; Daniela Rus (IEEE Trans. Robotics, 2025)

A Two-Level Control Algorithm for Autonomous Driving in Urban Environments. - Erfan Aasi; Mingyu Cai; Cristian-Ioan Vasile; Calin Belta (IEEE Trans. Intell. Transp. Syst., 2025)

Generalized Mean Robustness for Signal Temporal Logic. - Noushin Mehdipour; Cristian-Ioan Vasile; Calin Belta (IEEE Trans. Autom. Control., 2025)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction. - Kaier Liang; Guang Yang; Mingyu Cai; Cristian-Ioan Vasile (CoRR, 2025)

Safety-Critical Learning of Robot Control With Temporal Logic Specifications. - Mingyu Cai; Cristian-Ioan Vasile (IEEE Trans. Autom. Control., 2025)